git revert/branch: small changes to the text about .gitignore