From 90a507963c6dba24cee7cd19af16c59d2fe363c9 Mon Sep 17 00:00:00 2001 From: Justin McCarthy Date: Thu, 10 May 2018 00:20:04 -0700 Subject: [PATCH] push --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index edcca69..d96007c 100644 --- a/Makefile +++ b/Makefile @@ -73,6 +73,7 @@ patch-release: patch release patch: clean gitsem gitsem patch + git push origin --tags release-deps: gitsem gh-release