docs: document how to connect to gitolite.sgdev.org for dev

Created by: mrnugget

@mollylogue asked about this in Slack and I vaguely remembered how to do it, so I dug into it a bit and turns out: what I remembered still works, only the username had to be changed.

Test plan

• CI