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

Created by: eseliger

Review: Approved

Thank you :)

Merged by: mrnugget at 2022-08-03 07:39:08 UTC

Created by: mollylogue

Review: Commented

Thank you for doing this!! Sorry I was out and couldn't review, but it's much appreciated