I would like to do all my github workflow in the Terminal tab on RStudio in Windows 10. I have SSH authentication set up. I can do everything except git push from the Terminal tab because the SSH authentication fails (Permission denied publickey). But I have set up the SSH keys correctly, and it works fine if I click the "Push" button in the Git tab. There, the "Push" button executes the command C:/Program Files/Git/bin/git.exe push origin HEAD:refs/heads/main. So I think the reason is that in the Terminal tab, git push is using the wrong git executable, because if I enter which git in the Terminal tab, that is running Git Bash, I get /mingw64/bin/git. My question is how do I configure the Terminal tab to use the correct git executable by default, so that I can push from there?