When using the Jenkins-based-autograding features of Anacapa, each Jenkins server will have a SSH private/public key pair that it uses to access private github repos in the course organization.
The key pair is created when the Jenkins instance is configured. The public key is then published.
Anyone setting up a machine user as part of configuring a new course needs to add that public key into the machine user's github account.
When using the Jenkins-based-autograding features of Anacapa, each Jenkins server will have a SSH private/public key pair that it uses to access private github repos in the course organization.
The key pair is created when the Jenkins instance is configured. The public key is then published. Anyone setting up a machine user as part of configuring a new course needs to add that public key into the machine user's github account.
This needs to be documented.