[isabelle-dev] Mercurial failing as always
krauss at in.tum.de
Tue Mar 1 16:18:50 CET 2011
Lawrence Paulson wrote:
> Does anybody know what to do here?
> ~/isabelle/Repos: hg push
> pushing to http://isabelle.in.tum.de/repos/isabelle
> searching for changes
> http authorization required
> realm: Mercurial repositories
Nothing is failing. It is just that pushing over http is disabled.
This is explained in README_REPOSITORY, here:
More information about the isabelle-dev