Open
Description
We have started preferring GitHub's issue "types" (#14231) over the older "type: xyz" label. We need to look into updating old issues to have a "type". We can write a script that uses GitHub's API to do this.
{{ message }}
No one assigned
No projects
None yet
No branches or pull requests