Deleting a .idea file that snuck in and a bug in a gitignore