[isabelle-dev] Unable to push to Isabelle reop

[Lars Noschinski]

On 16.08.2012 15:23, Florian Haftmann wrote:
> Host nfsbroy
> HostName macbroy20.informatik.tu-muenchen.de
> User haftmann
> ForwardAgent yes
> ForwardX11 yes
>
> I now even got used to pretend that »nfsbroy« is a really existing
> machine with the typical nfs mountpoints.

While I second that advice, I would choose a hostname which does not 
point to a really existing machine ;)

   -- Lars