Closed
Description
Closing an issue/PR means making decision and rejecting the proposed idea.
Perhaps this ability needs to be leveraged more carefully. It would be great if we have some guidelines of when a PR/issue can be closed. Example:
- don't close issue/PR created by other core devs
- don't close issue/PR which are clearly still in progress (people still reviewing, making changes)
- you can close invalid PR / spam
- you can close issue that are filed in the wrong repo, but be helpful and let them know where is a better place to file the issue
Whenever in doubt, always ask first.