Think about copying github labels

[jgvictores]

Per Regarding which label to assign to an issue in GitHub, we are attempting to unify them, with teo-main for inspiration.: Think about https://github.com/jvandemo/copy-github-labels-cli

[jgvictores]

Actually using https://github.com/destan/github-label-manager as described at https://medium.com/@dtinth/how-to-copy-github-labels-from-one-project-to-another-1857adc73e0f

Small issues:

1. GitHub Personal Access Tokens is currently at https://github.com/settings/tokens
2. Permissions I currently set for this token sum admin:org, repo, which are a subset of all possible options, but still sound pretty broad.
3. Sometimes it is tricky, the button is disabled. Sometimes fixed by adding and deleting a fake label (rather than the copy mechanism).
4. Not sure if the token takes some time to enter in effect, but definitely works within the same hour.

Nice that you can just open the page locally.

[PeterBowman]

Should have posted #76 (comment) here:

See also https://gist.github.com/Isaddo/7efebcb673a0957b9c6f07cd14826ea4 (a JS web-based label editor).

BTW ZenHub (#59) might achieve this too per https://www.zenhub.com/product:

Save time by updating labels, assignees, milestones, and Epics, or make pipeline movements all at once.

[jgvictores]

Not required, we use https://docs.github.com/en/organizations/managing-organization-settings/managing-default-labels-for-repositories-in-your-organization as commented at #76 (comment) (see https://github.com/organizations/roboticslab-uc3m/settings/labels ).