[GRASS-user] Cannot pull from dev master branch [RESOLVED]

[Rich Shepard]

On Fri, 24 Nov 2023, Linda Karlovská wrote:

> you can do the following in your main branch:

Linda,

> git checkout main
$ git checkout main
...
Already on 'main'
Your branch and 'origin/main' have diverged,
and have 81 and 186 different commits each, respectively.
   (use "git pull" to merge the remote branch into yours)

> git fetch upstream
$ git fetch upstream
fatal: 'upstream' 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.

Instead,
$ git fetch 
$ git reset --hard
HEAD is now at 8968e9b631 Merge branch 'main' of https://github.com/OSGeo/grass

The log confirms this.

Many thanks,

Rich