[isabelle-dev] Mercurial failing as always

2011-03-01 Thread Lawrence Paulson 
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

Re: [isabelle-dev] Mercurial failing as always

2011-03-01 Thread 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
___
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

2011-03-01 Thread Larry Paulson 
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