Actually push .gitignore.