You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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.