I installed Git for Windows, although I am using the shell not the Windows interface.
If I do a git init, and then try and do a
git remote
I'm the developer who put this in. Here's why I added this to the system gitconfig, it's pretty useful!
## Because of this change, git fetch knows about PRs
git fetch
## Now, I can merge PRs by number
git merge origin/pr/24
## See changes from PR #53
git diff master...origin/pr/53
## Get the commit log from PR #25
git log origin/pr/25
Unfortunately, this does have the consequence that the origin remote always exists, even when it doesn't.
Whenever you see git remote add origin https://..., instead:
git remote set-url origin https://...