diff options
| author | Junio C Hamano <gitster@pobox.com> | 2015-03-23 14:32:46 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-03-23 14:32:46 -0700 |
| commit | 322c6244651c408d924f71f73effd8ed833916d3 (patch) | |
| tree | 6e8cf8d283e2a923cc330b4b64eeb3c972341edd /git-push.html | |
| parent | 0762262193bb8a218def4fd749a68476d5337b5d (diff) | |
| download | git-htmldocs-322c6244651c408d924f71f73effd8ed833916d3.tar.gz | |
Autogenerated HTML docs for v2.3.4-263-gf53fc
Diffstat (limited to 'git-push.html')
| -rw-r--r-- | git-push.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/git-push.html b/git-push.html index b57e2b1db..514e6a3ab 100644 --- a/git-push.html +++ b/git-push.html @@ -914,7 +914,9 @@ already exists on the remote side.</p></div> Push all the refs that would be pushed without this option,
and also push annotated tags in <code>refs/tags</code> that are missing
from the remote but are pointing at commit-ish that are
- reachable from the refs being pushed.
+ reachable from the refs being pushed. This can also be specified
+ with configuration variable <em>push.followTags</em>. For more
+ information, see <em>push.followTags</em> in <a href="git-config.html">git-config(1)</a>.
</p>
</dd>
<dt class="hdlist1">
@@ -1740,7 +1742,7 @@ a <code>git gc</code> command on the origin repository.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2015-02-17 14:10:17 PST
+Last updated 2015-03-23 14:31:16 PDT
</div>
</div>
</body>
|