but jenkins does not play nice with github