Hi, If you want to be able to control the jenkins github pull request builder, you have to add your github user id to the build trigger section. See the message below from Jonah.
Cheers, Wim All committers can be admins, simply add yourself to the list ([1,2] -> Configuration -> Build Triggers -> GitHub Pull Request Builder -> Admin list). I have added Wim and myself so far. *Note that Jenkins polls at 5 minute intervals, so there will be a delay between a PR being submitted and the build starting. There are security considerations for allowing webhooks[6].* Please let me know if you see anything amiss. Jonah [1] https://ci.eclipse.org/nebula/job/nebula.stable.github/ [2] https://ci.eclipse.org/nebula/job/nebula.incubation.github/
_______________________________________________ nebula-dev mailing list nebula-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/nebula-dev
