github: Repository admins can archive pull requests

Repository admins can archive pull requests to remove them from public view without deleting them. Archived pull requests are closed and locked.

• Source: GitHub