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 79ead4121d5a83f15c09af52a7144a2dd4eee162..1dbc92bb9d31fa688936dfbf3c726bbb9dfad486 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"