For now, development happens on GitHub and uses the the pull request workflow: In case you are not familiar with that, please take a few minutes to read the GitHub article about that topic.

Please take a moment to read the Development Guide to learn about the process and the conventions used in this project.