diff options
| -rw-r--r-- | using-git.texinfo | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/using-git.texinfo b/using-git.texinfo index 8fe56aa..b706a70 100644 --- a/using-git.texinfo +++ b/using-git.texinfo @@ -1166,6 +1166,18 @@ git tag -d 'RELEASE_VERSION' git push origin :refs/tags/'RELEASE_VERSION' @end example +@file{refs/tags/RELEASE_VERSION} is a +file in the @file{.git} directory. +Using a @code{:} tells git that you +want to push the local file before the +@code{:} to the remote file after the +@code{:}. If the local file is not +specified, in order words, the argument +begins with @code{:}, you are telling +git to remove the remote file. +This only work with referense, that is, +files inside @file{.git/refs}. + @node Cherry picking |