[isabelle-dev] Bitbucket SSH craziness escalates

[Lawrence Paulson]

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
user: 

Larry

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