-
For quick corrections on documentation or code, just submit a pull request!
-
For larger contributions to new features or changing existing ones, please file an issue first to get aligned before you start investing time on it. Pull requests in this case should be submitted to the dev branch.