diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-02-05 15:33:56 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-02-05 15:33:56 -0800 |
commit | 2567b326fac6961a6fc6075ad2f22a744252f2f3 (patch) | |
tree | 2e4c640f64f1f8f00b992e414a2fd316aea798d4 /git-tag.html | |
parent | cf7310088e7328f8aa7ea2c5de767ef9499b5d78 (diff) | |
download | git-htmldocs-2567b326fac6961a6fc6075ad2f22a744252f2f3.tar.gz |
Autogenerated HTML docs for v2.20.1-519-g8fedd
Diffstat (limited to 'git-tag.html')
-rw-r--r-- | git-tag.html | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/git-tag.html b/git-tag.html index 2cfca861e..fca30ca04 100644 --- a/git-tag.html +++ b/git-tag.html @@ -1125,19 +1125,19 @@ the old tag. In that case you can do one of two things:</p></div> <li>
<p>
The sane thing.
-Just admit you screwed up, and use a different name. Others have
-already seen one tag-name, and if you keep the same name, you
-may be in the situation that two people both have "version X",
-but they actually have <em>different</em> "X"'s. So just call it "X.1"
-and be done with it.
+ Just admit you screwed up, and use a different name. Others have
+ already seen one tag-name, and if you keep the same name, you
+ may be in the situation that two people both have "version X",
+ but they actually have <em>different</em> "X"'s. So just call it "X.1"
+ and be done with it.
</p>
</li>
<li>
<p>
The insane thing.
-You really want to call the new version "X" too, <em>even though</em>
-others have already seen the old one. So just use <em>git tag -f</em>
-again, as if you hadn’t already published the old one.
+ You really want to call the new version "X" too, <em>even though</em>
+ others have already seen the old one. So just use <em>git tag -f</em>
+ again, as if you hadn’t already published the old one.
</p>
</li>
</ol></div>
@@ -1314,7 +1314,7 @@ ISO 8601 <div id="footer">
<div id="footer-text">
Last updated
- 2018-10-30 00:33:48 PDT
+ 2019-02-05 15:33:20 PST
</div>
</div>
</body>
|