git tip w.r.t push