[PATCH 8/8] Update .gitignore