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