Worth noting that validated merge is also available for all plugins. For example:
https://jenkins.ci.cloudbees.com/job/plugins/job/mailer-plugin/repo.git/ (Again this is for people pushing directly to the repo rather than filing a pull request; PRs automatically get built and the result reported in a comment in the PR.) To stop yourself from accidentally pushing without validation using ‘git push’, you could 1. git remote set-url --push origin <jenkins-push-URL>, so that ‘git push’ validates. 2. Add a separate remote for Jenkins, and set ‘origin’ to use git://github.com/jenkinsci/<repo>.git. Either way, can also add another remote which is authorized for direct push, in case you know what you are doing and cannot wait. -- 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]. For more options, visit https://groups.google.com/groups/opt_out.
