diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-09-13 01:41:41 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-09-13 01:41:41 +0400 |
| commit | 100ce1c543b8e9961ed59c047b902da1dd649666 (patch) | |
| tree | 41b16b5ca4c390f2109707cd234e62d6c3f9f339 /Documentation/gitremote-helpers.txt | |
| parent | af9a0cade37d1c52291527d82a6f5449798baa98 (diff) | |
| parent | f19f5e60f618481a8ddb329a95a5edeecf218a29 (diff) | |
Merge branch 'mm/mediawiki-dumb-push-fix'
* mm/mediawiki-dumb-push-fix:
git-remote-mediawiki: no need to update private ref in non-dumb push
git-remote-mediawiki: use no-private-update capability on dumb push
transport-helper: add no-private-update capability
git-remote-mediawiki: add test and check Makefile targets
Diffstat (limited to 'Documentation/gitremote-helpers.txt')
| -rw-r--r-- | Documentation/gitremote-helpers.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt index bc069c23df..be7e224a03 100644 --- a/Documentation/gitremote-helpers.txt +++ b/Documentation/gitremote-helpers.txt @@ -120,6 +120,11 @@ connecting (see the 'connect' command under COMMANDS). When choosing between 'push' and 'export', Git prefers 'push'. Other frontends may have some other order of preference. +'no-private-update':: + When using the 'refspec' capability, git normally updates the + private ref on successful push. This update is disabled when + the remote-helper declares the capability 'no-private-update'. + Capabilities for Fetching ^^^^^^^^^^^^^^^^^^^^^^^^^ |