Runs along with all other hourly bot actions, and mirrors the set of labels from enarx/enarx to all other organization repos. Also ensures that all common labels share the same color and description.
The biggest drawback of this approach is that since the label names are used as keys, label names can't be edited. If they are, the old label will be deleted outright, and a new one put in its place. Since there's no way to tell which edited label corresponds to which without keeping state between runs, it's impossible to edit existing labels with a new name.
We've since moved on from PyGithub and the Rest API v3, so this will need to be rewritten in entirety. I'm closing this in favor of a new PR whenever it does get written.
Runs along with all other hourly bot actions, and mirrors the set of labels from
enarx/enarx
to all other organization repos. Also ensures that all common labels share the same color and description.The biggest drawback of this approach is that since the label names are used as keys, label names can't be edited. If they are, the old label will be deleted outright, and a new one put in its place. Since there's no way to tell which edited label corresponds to which without keeping state between runs, it's impossible to edit existing labels with a new name.
Resolves #29.