chiark / gitweb /
dgit-maint-{merge,debrebase}(7): Use git fetch --all --tags
authorSean Whitton <spwhitton@spwhitton.name>
Thu, 5 Sep 2019 16:08:48 +0000 (09:08 -0700)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 Sep 2019 17:15:20 +0000 (18:15 +0100)
commit612beece6df32e68c70d04284280601f7a7825ca
treeb63127bda4ed2b2255687c139a0395607dc19d44
parentc274564cf3847ca3039dc80548097569bba193c6
dgit-maint-{merge,debrebase}(7): Use git fetch --all --tags

`git remote update` doesn't fetch tags unless remote branches include
the commits at which those tags point.  Thus, if upstream pushes their
release tag but fails to push their master branch, `git remote update`
will not fetch the release tag.

I've been in this situation more than once when following the
workflows detailed in these manpages, so let's just recommend a
command which will definitely try to fetch the latest release tag.

Closes: #939504
Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Acked-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit-maint-debrebase.7.pod
dgit-maint-merge.7.pod