Remove the file contrib/git-move-tags.py.