I've just reported https://issues.jenkins.io/browse/JENKINS-65978
I started to see recently that editing a GitHub PR title triggers a build in the CI even for the same commit that was built previously. I initially though it could be some misconfiguration in my company's CI, but then I've found the same behaviour in ci.jenkins.io. Just wanted to give some heads up in case there is something to be done to mitigate the number of builds that could potentially get triggered only by changing their description, and therefore could somehow increase the cost of the infrastructure. Please forgive me if this is not the right place to comment this kind of issues Cheers -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/968416a1-d866-402c-8ed6-2b58238121a9n%40googlegroups.com.
