git/gitignore: Remove duplicate entries.