pda/irc_machine — pull request #20 by DanielHeath (2013-01-14 22:42:33+00:00)
Title: Remove broken https github

I've added a couple of new projects in the past few weeks, and each time the default build script has gotten the workspace into a bad state.

This should prevent it happening in future by always using private key auth for github.