How to submit a merge request

git clone ssh://forge.lindenii.runxiyu.org/hare/-/repos/hare-git
cd hare-git
git checkout -b contrib/name_of_your_contribution
# edit and commit stuff
git push -u origin HEAD

Pushes that update branches in other namespaces, or pushes to existing contribution branches belonging to other SSH keys, will be automatically rejected, unless you are an authenticated maintainer. Otherwise, a merge request is automatically opened, and the maintainers are notified via IRC.

Alternatively, you may email patches to hare/-/repos/hare-git@forge.lindenii.runxiyu.org.