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
If we mark that an issue will be addressed with a PR, GitHub will automatically close the issue when the PR merges. With that, it's easy to forget to update our lifecycle label for those PRs. We should have a bot to help us manage that in some way.