Always update notes on push

... at least in the sane capability_push mode.
Remove documentation on obsolete push-updates-notes setting.
This commit is contained in:
Mark Nauwelaerts
2016-08-13 11:14:07 +02:00
parent 5acd0028b4
commit 6cff0327aa
3 changed files with 3 additions and 18 deletions

View File

@@ -205,14 +205,6 @@ If somehow your workflow relies on having these in the old place:
% git config --global remote-hg.show-private-refs true
--------------------------------------
The `refs/notes/hg` mentioned above that provide info on corresponding hg
changeset are so far only updated upon a fetch. If you prefer to have
these notes as soon as possible, then a push can be made to do some extra
work on this:
--------------------------------------
% git config --global remote-hg.push-updates-notes true
--------------------------------------
=== Helper Commands ===
Beyond that, a 'git-hg-helper' script has been added that can aid in the git-hg