| ▲ | tayo42 4 hours ago | ||||||||||||||||||||||
Why is a policy necessary. you were never entitled to have your pr merged in the first place? If pr wasn't reviewable pre AI I'd expect it to be closed or ignored too | |||||||||||||||||||||||
| ▲ | the_hoser 4 hours ago | parent [-] | ||||||||||||||||||||||
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. | |||||||||||||||||||||||
| |||||||||||||||||||||||