[isabelle-dev] Bitbucket SSH craziness escalates

Blanchette, J.C. j.c.blanchette at vu.nl
Tue Feb 21 22:56:15 CET 2017

> On 21.02.2017, at 22:12, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 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>

In your ~/isabelle/afp/devel/.hg/hgrc, I presume there's a line that looks like this:

	default = https://bitbucket.org/isa-afp/afp-devel

Change it to

	default = ssh://hg@bitbucket.org/isa-afp/afp-devel


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170221/8ae5e44f/attachment-0002.html>

More information about the isabelle-dev mailing list