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

https://github.com/NordicSemiconductor/random-words-js/commit/9ecf959fa3e975e01cdc72e1fb07d9814e18eaa0

Response: 1527188225399443456