a push from a local git repo