How to change Jenkins dev branch?
I changed the devel_branch field of my Indigo release ( https://github.com/rospilot/rospilot-... ), as it was previously tracking master. However, the Jenkins job ( http://build.ros.org/job/Idev__rospil... ) is still tracking master instead of my indigo branch. How do I update Jenkins to use the new configuration?