Hi, starting from now we accept PRs on Github as well, official src tree will remain managed by svn(1) but if you prefer you could fork the GitHub repository, create a branch and start a pull request. Committers can accept PRs by using pull request keywords (https://docs.github.com/en/issues/tracking-your-work-with-issues/using-issues/linking-a-pull-request-to-an-issue). I am going to import an "apply_pr.sh" tool that will download the diff from the PR, apply to the src tree and create a commit message.
Happy coding Giovanni
OpenPGP_signature.asc
Description: OpenPGP digital signature
