Git utility programs for Travis CI