push release back to origin

diff --git a/dist.ini b/dist.ini
index f7a1886..b109a90 100644 (file)
--- a/dist.ini
+++ b/dist.ini
@@ -59,3 +59,6 @@ commit_msg = %N-%v%t%n%n%c
 ; ...and the resulting head commit will be tagged
 [Git::Tag]
 tag_message = v%v%t
+
+; ...and then pushed to the origin repository
+[Git::Push]