lhotari commented on pull request #9994: URL: https://github.com/apache/pulsar/pull/9994#issuecomment-803904512
> Unfortunately I am not sure that failing Draft PR will be a good experience for contributors. > > All in all probably it is better to hold off on this enhancement until GitHub provides some better support There's a chance that skipping works properly for draft PR when "ready_for_review" type is part of the types for pull_request events, so that there isn't a chance to merge a PR right after it was switched from draft to "ready for review". I didn't have time to check that. The comments in the GitHub Actions discussion aren't clear whether there this was the solution that was tested. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
