Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Revalidate PRs from users whose profile is updated #26
actually, the problem is a bit different than described: at the time where the status of the PR was set (assuming we're talking about PR 131 of IntersectionObserver), the user was indeed unknown to the system. Once you started adding them, they are no longer unknown; it happens that the PR is still not right since the user is not affiliated to the group, but if you were to revalidate the PR, I think it would show the right message.
That being said, I think ideally, ash-nazg would revalidate automatically all the open PRs in which someone is a contributor when their info is created/updated.