Add workaround for broken git repo polling by Jenkins