search

jupyterhub / binderhub

Run your code in the cloud, with technology so advanced, it feels like magic!
https://binderhub.readthedocs.io
BSD 3-Clause "New" or "Revised" License
2.54k stars 388 forks source link

binderhub image: refreeze requirements.txt #1827

Closed jupyterhub-bot closed 6 months ago

jupyterhub-bot commented 7 months ago

The binderhub image's requirements.txt has been refrozen based on requirements.in.

consideRatio commented 6 months ago

Argh, I messed up - i re-run the watch dependencies script and the commits in this PR were removed.

@minrk do you have them locally to re-push?

image

minrk commented 6 months ago

No worries! FWIW, a pushed commit is never really lost on GitHub even if it's not in a current branch. Commits can be fetched by their sha and re-pushed, e.g.

commit=49577647498b24344d86bbec0c8c6e5403ace3dc
git fetch origin $commit # download the commit if you haven't fetched it before
git reset $commit --hard
git push origin update-image-requirements -f
consideRatio commented 6 months ago

Ah, thanks @minrk!!