I discovered that the GitHub CLI has a "label clone" command, which can sync
issue labels from a source to a target repo:
https://cli.github.com/manual/gh_label_clone
1 reply
However this is a bit buggy at the moment:
https://github.com/cli/cli/issues/5673