Re: [isabelle-dev] Mercurial failing as always
I see that the secret lies in the difference between .hgrc and .hg/hgrc (how silly of me) Larry ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Mercurial failing as always
Lawrence Paulson wrote: Does anybody know what to do here? Larry ~/isabelle/Repos: hg push pushing to http://isabelle.in.tum.de/repos/isabelle searching for changes http authorization required realm: Mercurial repositories user: Nothing is failing. It is just that pushing over http is disabled. This is explained in README_REPOSITORY, here: http://isabelle.in.tum.de/repos/isabelle/file/cbfba0453b46/README_REPOSITORY#l109 Alex ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Mercurial failing as always
Does anybody know what to do here? Larry ~/isabelle/Repos: hg push pushing to http://isabelle.in.tum.de/repos/isabelle searching for changes http authorization required realm: Mercurial repositories user: ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev