Zulip Chat Archive

Stream: new members

Topic: Teething Problems in New Branch


Jordan Docking (Jan 27 2021 at 15:37):

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 (Jan 27 2021 at 15:38):

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 (Jan 27 2021 at 15:39):

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

Jordan Docking (Jan 27 2021 at 15:52):

@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!)


Last updated: Dec 20 2023 at 11:08 UTC