set default push to 'matching' so machines stuck on old git version aren't broken. fixes #36