From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 6 Jul 2017 08:40:53 +0000 (+0100)
Subject: dot/gitconfig.in: Arrange to push reachable heavy tags by default.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/67b5b0ce3fe05a9226d8dd91f917cf5a487989bf

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. :-(
---

diff --git a/dot/gitconfig.in b/dot/gitconfig.in
index 79ead41..1dbc92b 100644
--- a/dot/gitconfig.in
+++ b/dot/gitconfig.in
@@ -40,6 +40,7 @@
 
 [push]
 	default = matching
+	followTags = true
 
 [format]
 	headers = "Organization: Straylight/Edgeware\n"