New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Avoid refreshing Git repo twice #350

Merged

charliermarsh merged 1 commit into main from charlie/hash

Nov 7, 2023

Member

charliermarsh commented Nov 7, 2023

This was a bug in the Git code (that I wrote, not from Cargo) -- when we precise the reference, we should store the resolved commit.


          Avoid refreshing Git repo twice

8f0166f

charliermarsh enabled auto-merge (squash)

November 7, 2023 02:49

charliermarsh merged commit 620afc3 into main

3 checks passed

charliermarsh deleted the charlie/hash branch

November 7, 2023 02:52

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet