Using Github

We use the Fork + Pull Model.

It is recommended first to contact the mailing list, also by e-mail to and suggest the issue that you plan to work on. Whether it is a small patch or a document fix, it is better that we do not repeat this work several times.