Gitolite access

Hi, all:

I have completed the initial gitolite setup. I have the keys for the following
users:

- carlos
- josmyers
- siddesh

To set up access to the gitolite server, add the following to your
.ssh/config (not strictly required, but recommended):

	Host gitolite.coretoolchain.dev
	  User git
	  IdentityFile ~/.ssh/YOUR_SSH_KEY
	  IdentitiesOnly yes
	  ClearAllForwardings yes
	  # We prefer ed25519 keys, but will fall back to others if your
	  # openssh client does not support that
	  HostKeyAlgorithms ssh-ed25519,ecdsa-sha2-nistp256,ssh-rsa
	  # Below are very useful for speeding up repeat access
	  # and for 2-factor validating your sessions
	  ControlPath ~/.ssh/cm-%C
	  ControlMaster auto
	  ControlPersist 30m
	  # Helps behind some NAT-ing routers
	  ServerAliveInterval 60

This should let you run the following command:

    ssh gitolite.coretoolchain.dev info

You should get something like the following output:

    hello mricon, this is git@vex-yul-cti-gitolite-1 running gitolite3 3.6.13-1.el7 on git 2.43.0

     R      cti/..*
     R W    cti/cti.coretoolchain.dev
     R W    cti/keyring

     CTI gitolite server

If the above command succeeds, you can clone the following repositories:

- gitolite.coretoolchain.dev:cti/keyring
- gitolite.coretoolchain.dev:cti/cti.coretoolchain.dev

The keyring repository has some initial entries, as well as a README
describing the agreed procedure and how to use the keyring repository for git
signing and verification.

The cti.coretoolchain.dev is currently empty, but is intended to be the
repository for the sphinx contents for the upcoming site.

You should be able to push to both repositories.

Please let me know if you have any problems, otherwise please go ahead and
start adding the content to the docs site repo. Once you're in a position
where you need to have it built, please reach out and we'll set up the
auto-build and the public-facing site.

Best regards,
-K