You can contribute to this repository using the github workflow:
- Create a new branch and apply your changes.
- Make sure that all tests pass and that there are no conflicts with main.
- Open a pull request. Describe your changes in the PR. Also explain why you think that your change is useful or how it improves the code.
- Wait for a review of your PR. In case there are any open tasks, apply the requested changes.
- Once approved, your PR will be merged to the main branch.
By contributing to this repository (e.g. by submitting a pull request):
- You warrant that you have the right to contribute the material.
- You confirm that your work is licensed under the same license as the other code in this repository (see LICENSE).
- You agree to future changes to the licensing.