binderhub: New repos on Github no longer work by default with MyBinder
New repos created on Github seem to be given the default branchname main rather than master (New GitHub Repositories Default to Main Branch).
Pasting the repo URL into MyBinder, the build shows a failed build with message: "Could not resolve ref for gh:ORG/REPO/master. Double check your URL."
Relates to: https://github.com/jupyterhub/binderhub/issues/1145
About this issue
- Original URL
- State: closed
- Created 4 years ago
- Reactions: 1
- Comments: 16 (8 by maintainers)
https://github.com/coiled/dask-mini-tutorial/ leads to a 404 page. Is it a private repo? If you need more help please use https://discourse.jupyter.org/
@manics I thought it wasn’t but I just realized it is. I’m so sorry, I apologized for the inconvenience.
So in my world, a hacky route would go from:
to:
but you probably want something cleaner than that…
But as I say, I’m not really in a position to test it…
Hey @psychemedia! 👋 We were just discussing this in Gitter!
I can devote some time to addressing this next week
TODOs:
masterto bemain. PR https://github.com/jupyterhub/binderhub/pull/1172if unresolved_ref == 'master'or ‘main’ and expanding the message in those two cases (main == likely user used default and repo uses master; master == likely old link, repo has been updated to use main) PR https://github.com/jupyterhub/binderhub/pull/1170