Update Makefile push recipe

cmlccie · cmlccie · commit 5a5a78fe63f7 · 2017-06-16T15:05:46.000-04:00
diff --git a/Makefile b/Makefile
@@ -47,6 +47,7 @@ lint :
 # Git recipes
 .PHONY : push
 push :
+	git push origin
 	git push origin --tags
 
 
