Hi graphite team 👋
Not sure if this is a bug, but want your feedback.
We have a deactivated user with pending PRs and we cannot merge those PRs. We receive: does not have permissions to merge this PR
What is the best way to avoid that error? We are thinking to create a new PR from an active user 🤔