A small utility that copies tags from one git repository to another, if their commit hashes match.