Sync repositories from gitolite.sgdev.org

NOTE: SSH key configuration is not yet available on Sourcegraph Cloud.

1. Create ~/.ssh/gitolite_ssh_key and paste in the private key stored in 1Password

2. Run chmod 400 ~/.ssh/gitolite_ssh_key to give it correct permissions

3. Create ~/.ssh/gitolite_ssh_key.pub and paste in the public key stored in same 1Password entry

4. Edit ~/.ssh/known_hosts and add the "known hosts entry" from same 1Password entry

5. Edit ~/.ssh/config and add the following to tell SSH to use the key we just created when connecting to gitolite.sgdev.org:

   Host gitolite.sgdev.org
     User git
     IdentityFile ~/.ssh/gitolite_ssh_key
     IdentitiesOnly yes

6. Create an external service with the following configuration:

   {
     "host": "git@gitolite.sgdev.org",
     "prefix": "gitolite.sgdev.org/"
   }