Add github public key to known_hosts.
Fetch your public key directly instead of manually copying it into the sovereign repo
Merge branch 'gitolite-public-key-from-user' into devel