Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Are you running a workshop? #18

Closed
rgaiacs opened this issue Aug 26, 2024 · 2 comments
Closed

Are you running a workshop? #18

rgaiacs opened this issue Aug 26, 2024 · 2 comments

Comments

@rgaiacs
Copy link

rgaiacs commented Aug 26, 2024

Hi,

at the time of writing, I noticed that mybinder.org has 24 users using this repository.

Because mybinder.org is running with reduced capacity and I'm working to improve one of the mybinder.org servers, I want to check if a workshop using this repository is happening at the time of the writing.

Thanks and all the best with the workshop, if it is happening.

@behackl
Copy link
Member

behackl commented Aug 26, 2024

Hey there! In case there was any sort of event, we have not been aware of it.

@rgaiacs
Copy link
Author

rgaiacs commented Aug 27, 2024

Thanks @behackl for the reply.

@rgaiacs rgaiacs closed this as completed Aug 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants