Add git push origin v1.0

[gaertnermarkus]

can you add that to this sheet "git push origin v1.0"?

You speak about tagging. But "git tag" creates only a tag local.

[rogerdudler]

Why not use git push --tags?

[gaertnermarkus]

This works too? Fine! But the/my point is: you speak about tags, but not about not about how to push it. Its equal with "git push origin v1.0" or "git push --tags" or some else, but one word for a beginner ;-)