Removing some files created during a 'git push' test