2009/2/24 Pauli Virtanen <pav at iki.fi>: > The first option is probably the easiest, if account/password issues can > be sorted out. The second option is probably enough for practical > purposes. Authentication to github is done with SSH keys, so it should be easy to automate. Cheers Stéfan