update push! for GitRepo