This is a small utility that copies matching tags from one git repository to another. And by "matching" I mean that there's a commit in the destination repository with the same SHA hash as the commit in the source repository that the tag points to.
git-copy-tags <source-repo> <dest-repo> [-f]
By default, the script is in "dry run" mode, which means that it only prints out what it would do, without actually doing it. If you are happy with the result, add
After running the command with
-f, make sure to run
git push --tags in the destination repository!