Merge "Add workaround for broken git repo polling by Jenkins"