[HCoop-Discuss] pub-key ssh authentication

[Adam Chlipala]

Adam Megacz wrote:
> anil at hcoop.net (Anil K. Narayanan) writes:
>   
>> Have we turned off ssh pub-key auth. on mire
>>     
>
> Yes.
>
>   
>> (and do we plan to keep it that way) ?
>>     
>
> Yes.
>
> You can use "ssh -K" for passwordless logins.
>   

Could someone who understands exactly the issues here update the 
MigrationTips page with the relevant information?  I think we should try 
to incorporate on that page answers to any questions that come up on 
this list.