Closed nate-double-u closed 1 year ago
Labels in this repo are managed with the .github/settings.yml file.
If a label is added via the github UI, it will be removed when the .github/settings.yml file is updated.
We should find and re-add labels we have lost due to this:
(please update as labels are identified)
I think that this can be closed.
agreed
Labels in this repo are managed with the .github/settings.yml file.
If a label is added via the github UI, it will be removed when the .github/settings.yml file is updated.
We should find and re-add labels we have lost due to this:
(please update as labels are identified)