dot/gitconfig.in: Arrange to push reachable heavy tags by default.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 6 Jul 2017 08:40:53 +0000 (09:40 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 6 Jul 2017 08:40:53 +0000 (09:40 +0100)
commit67b5b0ce3fe05a9226d8dd91f917cf5a487989bf
treeb8bdc53d82f6cc0ea9da161824b090aabddb091f
parentc14a5ec34d806c96486de8d169c7db951df35183
dot/gitconfig.in: Arrange to push reachable heavy tags by default.

I'm fed up of forgetting to push tags when I'm releasing things. :-(
dot/gitconfig.in