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
_______________________________________________
grass-user mailing list
grass-user@lists.osgeo.org
https://lists.osgeo.org/mailman/listinfo/grass-user
