Push new release to pypi.org

[rgaiacs]

The latest release on pypi.org is 2024.7.0 that was submitted on 1 July 2024. This release does NOT include #1363 that fixed #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?

[manics]

I think we can make a release once we know there are no issues with the new buildkit builder in mybinder.org

[yuvipanda]

We've been using the buildx builder for a while now and I think it's fine.