Greetings, everyone. First time poster here.
I recently stumbled upon a Jenkins plugin where the repo owner lost his ability to merge PRs. He also stated that if he could, he’d hand over the project to others. As the project is under “jenkinsci”, is there an org permission where Jenkins team can either A) fix his merge permission B) grant others (like myself) said permission?