Git post commit commands

The git.postCommitCommand setting makes VS Code automatically run a git push or a git pull and push after a commit.

Even after configuring the default using the setting, you can select different behavior for an individual commit with the commit button’s dropdown.