Use simple push semantics in git