{ "git.postCommitCommand": "push" }