Push new release to pypi.org
The latest release on pypi.org is 2024.7.0 that was submitted on 1 July 2024. This release does NOT include https://github.com/jupyterhub/repo2docker/pull/1363 that fixed https://github.com/jupyterhub/repo2docker/issues/1361. This means that when I run
micromamba env create -y -n repo2docker python=3.11
micromamba activate repo2docker
python3 -m pip install repo2docker
repo2docker ...
I end up with a Jupyter server that keeps me log out.
Can we push a new release to pypi.org?
I think we can make a release once we know there are no issues with the new buildkit builder in mybinder.org
We've been using the buildx builder for a while now and I think it's fine.
I'm finding I also need to clone for something more recent than 2024.7.0 to use --Repo2Docker.platform=linux/amd64, which I'm finding critical on my new apple-silicon mac.