The close command can be used to close a GitHub issue or pull request.
To close an issue or pull request, any rust-lang team member may enter the command:
This will immediately close the issue or PR.
This feature is enabled on a repository by having a
[close] table in