Re: [arch-dev-public] pending devtools issues

Yeah, I was afraid there was something I was forgetting.

In all honesty, I think Eric's solution is the best here.

I concur. SSH keys are the way to handle this issue and they always have been. I probably should have written the document about it a long time ago (note, I'm not suggesting I do it now!). Jason