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