git: set push strategy to matching