- ignore a local file: put it into
.git/info/exclude
- ignore changes in a tracked file: http://stackoverflow.com/questions/10879783/git-doesnt-ignore-2-specifically-named-files
http://stackoverflow.com/questions/7206801/is-there-any-way-to-git-checkout-previous-branch
$ git checkout -