Disputed PRs with positive review after voting should be given enough time for wider discussion and voting and manually decided by the release manager for eventual merge.
Hence those PRs should be treated exceptions from the automated processing of the script.
kwankyu
commented
6 months ago
Disputed PRs with positive review after voting should be given enough time for wider discussion and voting and manually decided by the release manager for eventual merge.
Hence those PRs should be treated exceptions from the automated processing of the script.
@vbraun @mkoeppe