When looking at the options for the push.default value, I noticed that "upstream" was one of the possible actions.
upstream - push the current branch to its upstream branch (tracking is a deprecated synonym for this). With this, git push will update the same remote ref as the one which is merged by git pull, making push and pull symmetrical.
I wanted to make sure that my local branches were "pointing" to the right remote branches. The command to find that out is
git remote show origin.
HEAD branch (remote HEAD is ambiguous, may be one of the following): 1.65 1.66 master Remote branches: 1.65 tracked 1.66 tracked master tracked Local branches configured for 'git pull': 1.65 merges with remote 1.65 1.66 merges with remote 1.66 master merges with remote master Local refs configured for 'git push': 1.65 pushes to 1.65 (up to date) 1.66 pushes to 1.66 (up to date) master pushes to master (up to date)