This is a post-in-progress.
To revert local commit:
git reset HEAD~1
To see what is about to be pushed:
git diff --stat --cached origin/master
To add to ignored files:
git update-index --assume-unchanged <files to ignore>
Useful commands:
git status
git log