Submitting pull requests⚓︎
If you have created a bug fix or an improvement for our software you can create a pull request (or a merge request in GitLab’s terminology). We will review your code and possibly incorporate it to our code (if it will comply our code guidelines and we will find it useful).
Please follow our rules for creating
Before merging, we may ask you to do some modifications or do such changes ourself. We may also request explanation of used method, programming techniques, algorithms and so on.
Whatever way you choose we welcome your contributions. If you don’t feel to be prepared to work on our code please create an issue about your topic.
By our GitLab instance⚓︎
All of our projects are maintained in our GitLab instance. You can register into it and fork the project you want to improve. When done with your modifications, please create a merge request to the original project (it should be prepared automatically if you create a MR).
If you have an account on GitHub you can use it to sign into our GitLab.
Some of our repositories are mirrored to GitHub. It is not feasible to mirror every single repository we have as setup is done manually at the moment. But if you have an account on GitHub you can use it to fork one of our project hosted on this server and create a pull request there.
Using any public git repository hosting⚓︎
If you don’t have and don’t want to create an account on the above described
servers but have write access to any publicly available
git server you can
utilize this way. Simply clone the project you want to improve, do your
changes and push your commits to that server. Then send us the URL where
your branch is located.
If you can’t use any of the previous ways there is still an older,
patch-based way how to contribute. You can utilize locally installed
for patch preparation but it’s not necessary to use it. Whichever
method you use please send the resulting patch(es) to us by e-mail.
git can significantly simplify creating patches. You can work with it
as usually, ie. create branches, commit changes etc. When done, prepare
your patch using
To create a patch containing changes between a specific commit and the
current revision (
HEAD) you can use a command like the following one:
git diff COMMIT > bugfix.patch
If you want to use a specific commit instead of
HEAD you can execute
a command like this:
git diff COMMIT1 COMMIT2 > bugfix.patch
man git-diff for more information about creating patches.
git can also send your patch without manual work in your e-mail client.
See the documentation for more information.
Without git (legacy way)⚓︎
Patches can be prepared without
git too. The only tool which you need
diff. Before you start making your changes, create a backup of
the original file like this:
cp file.py file.py.orig
After modification you can create a patch using this command:
diff -Naur file.py.orig file.py > file.py.patch