| ▲ | the_hoser 3 hours ago | |||||||
The policy isn't necessary to close the PR. The policy just helps to shut down the ensuing discussion after closing the PR. It helps in quickly dealing with well-meaning onlookers asking for clarification when you block PRs from the account. | ||||||||
| ▲ | tayo42 an hour ago | parent [-] | |||||||
Still, your not even entitled to a discussion though. | ||||||||
| ||||||||