Add workaround for broken git repo polling by Jenkins

No match.