push with tags to github

davidvilla · davidvilla · commit 994b3f435788 · 2019-06-04T16:30:02.000+02:00
diff --git a/make b/make
@@ -28,7 +28,7 @@ wiki:
 
 push:
 	git push
-	git push git@github.com:davidvilla/python-doublex.git
+	git push --tags git@github.com:davidvilla/python-doublex.git
 
 clean:
 	find . -name *.pyc -delete

-Original file line number
+Diff line change
 push:
 	git push
 -	git push [email protected]:davidvilla/python-doublex.git
 +	git push --tags [email protected]:davidvilla/python-doublex.git
 clean:
 	find . -name *.pyc -delete