Just to make sure that jenkins works fine with git-hub