RT Matt Bierner
Today's @code tip: Git post commit command
Use git.postCommitCommand to automatically run a git push or a git pull and push after a commit
Even after configuring the default, you can select different behavior for an individual commit with the commit button's dropdown
#code2020

https://twitter.com/mattbierner/status/1573745330473947136