hello Markus In git, a "remote" is a different repository that you share common history with. It usually exists on a different server, but it can also live on your filesystem.
In your case you pushed the commit to your origin which is "grass-p3/master". You can check that by cd-ing into "grass-p3/master" and running "git log releasebranch_7_4". You should see the commit there. So if you want to push that to the main repo, you can do it either from "grass-p3/master" or you can add the main repo as a remote to "grass-p2/releasebranch_7_4" all the best, P.
_______________________________________________ grass-dev mailing list grass-dev@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/grass-dev
