[isabelle-dev] Mercurial failing as always

[Alexander Krauss]

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