Stream: new members
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: May 15 2021 at 00:39 UTC