GitHub now supports deploy keys with write permissions, so there is no
need anymore for a surrogate GitHub account. Using the deploy key allows
for a much simplified setup process, in addition to making each key
project-specific on the GitHub side.