Skip to content

Conversation

paddyroddy
Copy link
Member

I find this one a bit annoying sometimes

I find this one a bit annoying sometimes
@paddyroddy paddyroddy added the p4-low Low priority label Sep 27, 2024
@paddyroddy paddyroddy self-assigned this Sep 27, 2024
@paddyroddy
Copy link
Member Author

Binder down

@samcunliffe samcunliffe merged commit f8cd2aa into main Sep 27, 2024
11 of 12 checks passed
@samcunliffe samcunliffe deleted the paddyroddy-patch-1 branch September 27, 2024 17:06
@samcunliffe
Copy link
Member

Binder down

It's been 505 for a while now. I wonder why.

... Perhaps this might be a reason to demote it? It's currently a 🟢.

@paddyroddy
Copy link
Member Author

It's been 505 for a while now. I wonder why.

Looks like it's back up https://mybinder.org

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

p4-low Low priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants