hg-git plugin, problem with local cloning: bookmarks

[Uwe Brauer]

   > On Thu, Sep 1, 2016 at 9:06 AM, Uwe Brauer <oub at mat.ucm.es> wrote:

   > I'm not much of an hg-git user, so I may be wrong here, but I would
   > guess that you need to get the git repository that is being managed by
   > hg-git (which I think is stored at <repo>/.hg/git) to point at the
   > server, rather than at the local repo that you originally cloned it
   > from. Then you can run "git fetch" in it to fetch all the branches
   > from the server. I think the commands should be:

   >   cd <auctex-hg-repo>/.hg/git
   >   git remote set-url origin git://git.savannah.gnu.org/auctex.git
   >   cd ../..
   >   hg pull

This did not work, but it gave me a hint, which did what I wanted.

Instead of fiddling arount with the config file in ./hg/git

I modified the hgrc file in .hg

changing

[paths]
default = /home/oub/ALLES/emacs/site-lisp/packages/src/Git/auctex.git

To 
[paths]
default = git://git.savannah.gnu.org/auctex.git

Then hg pull pulled the other «branches».

Thanks this was not at all obvious to me

Uwe