Re: [isabelle-dev] Bitbucket SSH craziness escalates

2017-02-22 Thread Lawrence Paulson
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. wrote: > > >> On

Re: [isabelle-dev] Bitbucket SSH craziness escalates

2017-02-21 Thread Blanchette, J.C.
> On 21.02.2017, at 22:12, Lawrence Paulson 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 >

[isabelle-dev] Bitbucket SSH craziness escalates

2017-02-21 Thread 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 searching for changes http authorization required realm: