Specify the "matching" style for Git's push.default option to push only branches that have matching names both locally and remotely