Teething Problems in New Branch

Stream: new members

[Jordan Docking]

Hi everyone, I'm new here and I've run into a problem. I'm trying to help out @Kevin Buzzard and @Ashvni Narayanan by making a new branch called exp_exists (or similar) but git pull in VS Code is giving me this issue

[Jordan Docking]

git pull origin master
fatal: 'origin' does not appear to be a git repository
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

[Anne Baanen]

Could you run git remote -v? This should show you a list of remote repositories that git knows about.

[Jordan Docking]

@Kevin Buzzard has very patiently helped me resolve this over on Discord, so I think it's all okay now (but I really appreciate your help!)