Hi Enrico, et al,
I think the situation is a little more complicated than simply
selecting between "option 1" and "option 2". So, please allow me to
provide some additional clarification about what my PR does and does
not do (responses inline, see below).
On Sat, Oct 31, 2020 at 12:00 PM Enrico O
Hello,
Christopher send a patch that enabled PR validation in GitHub Actions [1]
I would like to start a discussion and explain what's going on.
I was talking with Andor about the lack of the "magic words" on Pull
Request Validation that restart the build on the new Jenkins.
I cited that in Apach
