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 (file)
--- a/dot/gitconfig.in
+++ b/dot/gitconfig.in
@@ -40,6 +40,7 @@
 
 [push]
        default = matching
+       followTags = true
 
 [format]
        headers = "Organization: Straylight/Edgeware\n"