Restoring accidentally-overwritten contents of .gitignore