From 65fa012b0fd1b6d09d0c0e086b82fab19ed799a4 Mon Sep 17 00:00:00 2001
From: Paul Kuruvilla <rohitpaulk@gmail.com>
Date: Fri, 24 Jan 2020 15:28:17 +0530
Subject: [PATCH] Push tag too

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 29fedc0..dc9f3a8 100644
--- a/Makefile
+++ b/Makefile
@@ -3,4 +3,4 @@ next_version_number := $(shell echo $$(($(current_version_number)+1)))
 
 release:
 	git tag v$(next_version_number)
-	git push origin master
+	git push origin master v$(next_version_number)