good first issuepriority-3-medium
Repository metrics
- Stars
- (14,066 stars)
- PR merge metrics
- (Avg merge 4d 3h) (358 merged PRs in 30d)
Description
As noted in #41496, if we're closing Issues/resolving Discussions as part of PRs, we should have a CI check that catches this and makes sure that we don't forget to clean things up in the same PR.
git grep '#[0-9][0-9]*$'