Undoing my .gitignore screwup