Universe - Manifest

• cd universe
• git add * # (or other file mask) (you can also use 'git add --all')
• git commit -am "initial commit" # or for one file: git commit filename -m "my comment"
• git push or to push only one branch: git push origin BranchName

• git rm file.xyz # this also deletes the file from the local file system!
• git commit -am "rm"
• git push

• try this first: https://stackoverflow.com/questions/927358/how-do-you-undo-the-last-commit
• or...
• git revert HEAD
• git push
• see also: https://www.atlassian.com/git/tutorials/undoing-changes/git-revert/

• https://help.github.com/articles/viewing-branches-in-your-repository/
• click on the Branch Tab
• On the subsequent click the trash can icon next to the branch you wish to remove

• git log
• git log --pretty=oneline

• commit & push your change
• git log --pretty=oneline # to find the commit version checksum
• git tag -a v1.01 111aabb...bb222 -m "example.py v1.01"
• git push origin --tags
• see also: https://git-scm.com/book/en/v2/Git-Basics-Tagging

• https://stackoverflow.com/questions/179123/edit-an-incorrect-commit-message-in-git

• git checkout HEAD^ file/to/change
• git pull
• see also: http://stackoverflow.com/a/14319943/452281