Closed jgvictores closed 3 years ago
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:
Personal Access Tokens
is currently at https://github.com/settings/tokensadmin:org, repo
, which are a subset of all possible options, but still sound pretty broad.Nice that you can just open the page locally.
Should have posted https://github.com/roboticslab-uc3m/questions-and-answers/issues/76#issuecomment-476727093 here:
See also https://gist.github.com/Isaddo/7efebcb673a0957b9c6f07cd14826ea4 (a JS web-based label editor).
BTW ZenHub (https://github.com/roboticslab-uc3m/questions-and-answers/issues/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.
Not required, we use https://docs.github.com/en/organizations/managing-organization-settings/managing-default-labels-for-repositories-in-your-organization as commented at https://github.com/roboticslab-uc3m/questions-and-answers/issues/76#issuecomment-570897505 (see https://github.com/organizations/roboticslab-uc3m/settings/labels ).
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