Documentation: user-manual: "git commit -a" doesn't motivate .gitignore