Switched push option to matching

- Since some older version of git don't support simple