Giters

manics / action-binderbadge

GitHub action to comment on pull requests with a link to launch the PR on https://mybinder.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Support different repo for the binder environment configs

skirpichev opened this issue · comments

commented

Hi! Do you want to use this action with a different content repository, or a different environment?

commented

With a different repository for required Binder setup files (e.g. for runtime.txt and so on).

commented

If you're still interested please give the main branch a try!

commented

Thanks, I'll try.

commented

Hmm, @manics, not sure how to specify github repo (e.g. https://github.com/diofant/mybinder-env). Is this supported, or only gist's?

commented

Try environmentRepo: gh/diofant/mybinder-env/HEAD. It's whatever comes after https://mybinder.org/v2/ in a normal mybinder link (e.g.https://mybinder.org/v2/gh/diofant/mybinder-env/HEAD) so any repo type supported by mybinder should work.

commented

Hmm, without persistent links this is not so useful:( Perhaps, I should ask nbgitpuller team to add support for this? Or, better - you?

commented

Please could you open an issue on https://github.com/jupyterhub/nbgitpuller ? It's always better for the use-case to be described by the user!