diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-09-17 14:34:00 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-09-17 14:34:00 -0700 |
commit | e6f28d0b6c239f15760194c8b12afdaa1a7bdd34 (patch) | |
tree | b782d1e78feb1a9f17131581d754b0e29abaa0b8 /git-push.html | |
parent | 0e0e0d2656a57fd3628bb6dbdaf0096684ed24a9 (diff) | |
download | git-htmldocs-e6f28d0b6c239f15760194c8b12afdaa1a7bdd34.tar.gz |
Autogenerated HTML docs for v1.8.4-357-g8d83
Diffstat (limited to 'git-push.html')
-rw-r--r-- | git-push.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-push.html b/git-push.html index e9921cfce..5cf435bdb 100644 --- a/git-push.html +++ b/git-push.html @@ -905,7 +905,7 @@ already exists on the remote side.</p></div> <p>
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 committish that are
+ from the remote but are pointing at commit-ish that are
reachable from the refs being pushed.
</p>
</dd>
@@ -1722,7 +1722,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 2013-09-09 15:34:20 PDT
+Last updated 2013-09-17 14:33:14 PDT
</div>
</div>
</body>
|