I pushed a commit to a repo where I accidentally added a file. Nobody else has merged from the remote repo so I can rewrite…