A demo for showing how to integrate Github with Jenkins