[isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de

[Manuel Eberl]

Then how do you push stuff to the repository?

On 19/03/2024 22:10, Lawrence Paulson wrote:
> I can’t do that, because I have no way of logging into lxbroy10
> Larry
>
>> On 19 Mar 2024, at 21:04, Makarius <makarius at sketis.net> wrote:
>>
>> On 19/03/2024 12:50, Lawrence Paulson wrote:
>>> Are others able to reach this machine and use Mercurial as usual?
>> It looks fine for me, but I think I had to tinker with the ssh setup a few days ago: like resetting the entry for lxbroy10 in ~/.ssh/known_hosts
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev