Change default git push configuration to "matching".

    matching - push all branches having the same name in both ends. This is for those who prepare all the
       branches into a publishable shape and then push them out with a single command. It is not appropriate
       for pushing into a repository shared by multiple users, since locally stalled branches will attempt a
       non-fast forward push if other users updated the branch.