github with jenkins integration