Delete git_push_instructions.txt