builhive should be disabled soon, as I've setup pull-request build on jenkins.ci.cloudbees.com (your comment let me know it's working ;P)
I was not sure github status was working, can stop adding a comment then. 2013/10/13 domi <[email protected]> > Hi everyone, > > I'd like to get your point of view on the different comment automatically > created on every pull request. > As I see it, we have 4 different comment created by a bot (not necessarily > different information)… > > 1. jenkinsadmin: e.g. here > https://github.com/jenkinsci/git-plugin/pull/173 > Thank you for a pull request! Please check this > document<http://jenkins-ci.org/pull-request-greeting>for how the Jenkins > project handles pull requests > > 2. buildhive: e.g. here https://github.com/jenkinsci/git-plugin/pull/173 > Jenkins » git-plugin > #391<https://buildhive.cloudbees.com/job/jenkinsci/job/git-plugin/391/>FAILURE > Looks like there's a problem with this pull request > (what's this?) <https://www.cloudbees.com/what-is-buildhive> > > 3. cloudbees-pull-request-builder: e.g. here > https://github.com/jenkinsci/jenkins/pull/972 > core » jenkins_main_trunk > #1331<https://jenkins.ci.cloudbees.com/job/core/job/jenkins_main_trunk/1331/>UNSTABLE > Looks like there's a problem with this pull request > > 4. PullRequest Builder using GitHub PR status API: e.g. here > https://github.com/jenkinsci/git-plugin/pull/174 > *All is well* — Build #127 succeeded in 9 min 3 sec > (Details<https://jenkins.ci.cloudbees.com/job/plugins/job/git-plugin/127/> > ) > > From my point of view this is by far to much, and does not add a lot of > useful values. I think all we need is 1 and 4, > everything else should be dropped… > > wdyt? > > Domi > > -- > 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. > -- 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.
