You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
By default, the `git push` command doesn't transfer tags to remote servers.(((git commands, push)))
189
189
You will have to explicitly push tags to a shared server after you have created them.
190
-
This process is just like sharing remote branches – you can run `git push origin <tagname>`.
190
+
This process is just like sharing remote branches -- you can run `git push origin <tagname>`.
191
191
192
192
[source,console]
193
193
----
@@ -242,7 +242,7 @@ Previous HEAD position was 99ada87... Merge pull request #89 from schacon/append
242
242
HEAD is now at df3f601... add atlas.json and cover image
243
243
----
244
244
245
-
In ``detached HEAD'' state, if you make changes and then create a commit, the tag will stay the same, but your new commit won't belong to any branch and will be unreachable, except for by the exact commit hash. Thus, if you need to make changes—say you're fixing a bug on an older version, for instance—you will generally want to create a branch:
245
+
In ``detached HEAD'' state, if you make changes and then create a commit, the tag will stay the same, but your new commit won't belong to any branch and will be unreachable, except for by the exact commit hash. Thus, if you need to make changes -- say you're fixing a bug on an older version, for instance -- you will generally want to create a branch:
0 commit comments