Handle reopened PRs on the community PR board (#63755)
The particular edge case that is covered here is closing a community PR,
then labeling it with an `area:`, and _then_ reopening it.
Release Notes:
- N/A
e2c4075cd0Lena committed on 9/4/2026, 12:47:05 PM· committed by GitHubparent3569541