On Sunday, December 10, 2023 at 10:04:17 AM UTC-7 Tzach wrote:
Thanks Mark as always :) Is there a way to "fix" the current PR or should I create a new one? Apply the label to the existing pull request and then run the cd action from the "Actions" menu of the repository. That's worked for me in the past. Mark Waite -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9a455bf0-5e5d-480e-a99c-14ea8b4eb96dn%40googlegroups.com.
