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
add support for remote builds on mybinder.org #29
Conversation
|
||
- `MYBINDERORG_CACHE`: | ||
Does the same thing as the parameter `BINDER_CACHE`, except also checks that the docker image is publicly visible, which is required by mybinder.org to pull your image. | ||
- `MYBINDERORG_TAG`: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In the future, this could be generalized to "BINDERHUB_TAG". mybinder.org is a free public BinderHub, but BinderHub itself can be deployed by anybody on any infrastructure (e.g. the pangeo community runs their own binderhubs for earth analysis). I could imagine somebody wanting to customize this for a different BinderHub
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good point!
@@ -90,6 +89,115 @@ jobs: | |||
|
|||
# Examples | |||
|
|||
## mybinder.org | |||
|
|||
A very popular use case for this Action is to cache builds for [mybidner.org](https://mybinder.org/). If you desire to cache builds for mybinder.org, you must specify the argument `MYBINDERORG_TAG`. Some examples of doing this are below: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
mybinder.org
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
this is really cool! I love it |
closes #25
cc: @matthewfeickert @choldgraf @betatim