[isabelle-dev] Bitbucket SSH craziness escalates

Lawrence Paulson lp15 at cam.ac.uk
Tue Feb 21 22:12:43 CET 2017

I committed some changes (fixing AFP-devel), which I would like to push. But what in God’s name is this?

~/isabelle/afp/devel/thys: hg push
pushing to https://bitbucket.org/isa-afp/afp-devel <https://bitbucket.org/isa-afp/afp-devel>
searching for changes
http authorization required
realm: Bitbucket.org <http://bitbucket.org/> HTTP


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20170221/71c1b0db/attachment.html>

More information about the isabelle-dev mailing list