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
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
