GitHub: how to commit
These are the commands to commit and push to a remote in GitHub:
git add . git commit -m "Comment to the commit" git push origin master
If after the commit you also want to create a tag:
git tag "MyTagName" git push origin "MyTagName"