[isabelle-dev] Bitbucket SSH craziness escalates
Lawrence Paulson
lp15 at cam.ac.uk
Wed Feb 22 12:16:21 CET 2017
I shall have to file this one under “mercurial mysteries”, which is already a supermassive black hole.
I got the push to work, now I’m hoping I don’t have to touch it again for a long time.
Larry
> On 21 Feb 2017, at 21:56, Blanchette, J.C. <j.c.blanchette at vu.nl> wrote:
>
>
>> On 21.02.2017, at 22:12, Lawrence Paulson <lp15 at cam.ac.uk <mailto: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 <https://bitbucket.org/isa-afp/afp-devel>
>
> Change it to
>
> default = ssh://hg@bitbucket.org/isa-afp/afp-devel <ssh://hg@bitbucket.org/isa-afp/afp-devel>
> Jasmin
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170222/951d76b2/attachment-0002.html>
More information about the isabelle-dev
mailing list