Access a private LMSTool repository from the workstation

The simplified demo manager runs from the administrator workstation. The demo server does not clone or fetch the private source repository, so it needs no GitHub deploy key.

Configure private GitHub access on the workstation using GitHub's current SSH connection guide. Verify the checkout and fetch:

git remote -v
git fetch --prune --tags origin
git rev-parse --verify 'HEAD^{commit}'

Keep the private key on the workstation. For unattended workstation automation, use a dedicated read-only credential appropriate to the repository and protect it with workstation filesystem permissions and the organization's credential policy.

This GitHub credential is separate from the public key registered with Dokku. The GitHub key reads the source repository into the workstation checkout. The Dokku key permits an exact commit already in that checkout to be pushed to dokku@DEMO_SERVER:APP.