push: fix publishing HEAD
The default for `hggit.use-phases` is to publish the remote HEAD and tags. We want to do this on push as well, so that pushing to e.g. `master` _immediately_ publishes the relevant changesets. However, we run into the fact that we don't actually know or store the remote HEAD anywhere, so we have to do an extra round-trip to obtain it.
parent
fce6e640
No related branches found
No related tags found
Showing
- hggit/git_handler.py 13 additions, 1 deletionhggit/git_handler.py
- tests/test-phases-public.t 1 addition, 3 deletionstests/test-phases-public.t
- tests/test-push-detached.t 72 additions, 0 deletionstests/test-push-detached.t
- tests/test-push-phases.t 4 additions, 10 deletionstests/test-push-phases.t
Loading