On Fri, Aug 7, 2020 at 9:52 AM G. Michael Carter <[email protected]> wrote: > Still grappling with this term "PR"?
Pull request, sorry. -- 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/CANfRfr0Xs8-OEFj4_7GhnQd%3D23gHJndXxY-rG-N%3DTBdS-nKU5A%40mail.gmail.com.
