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.