GitHub has widened who can archive pull requests. Users with the triage role and above can now archive pull requests. Maintainers can hand this PR hygiene to trusted moderators without giving them write access to code. Until now, archiving was an admin-only power. It is a small permissions...
