Wiki Edits

Help with editing and maintaining this wiki

This website and wiki are hosted in a public git repository. There are two ways you can help contribute to this wiki: making suggestions for edits and making edits yourself.

Suggesting Edits

You can either suggest changes on our Discord or by making a ticket on our Gitlab page by clicking the “Create documentation issue” link on the right hand side on any wiki page. The latter is preferred to avoid suggestions being forgotten or missed.

Making Edits

To make edits, you will need a Gitlab account. The below will list steps for those without experience using git. If you have git experience, feel free to use whatever git tools you are used too.

  1. On the right hand side of a page, click the “Edit this page” link.
  2. If you aren’t already logged into Gitlab, you’ll be prompted to do that.
  3. If you haven’t made an edit before or otherwise forked the repository, you will be prompted to fork it. Click the “Fork” button.
  4. Once the fork completes, you’ll be shown an editor to make your change.
  5. Enter a commit message and follow the prompts to create an merge request.
  6. Once the merge request is approved, it’ll appear on the wiki.

The above only covers basic edits of existing pages. If you want to contribute more advanced edits such as new pages, formatting, etc you are welcome to do so.

Last modified July 3, 2022: New website (91698e2)