trivial change to verify jenkins' git polling