If you just have an idea for a change but don't want to implement it yourself, add an issue to this repository (but make sure to check for duplicates first!). Be descriptive and also add labels as appropriate.
If you want to make a change yourself, you'll need to make a pull request. To do that:
- Create a new branch locally.
- Make changes and commit them (make sure you have good commit messages!).
- Run
make lint(or justmake, if you don't have mdl installed yet) to ensure your code follows our Markdown style rules. - Push your local branch to the remote repository.
- Make a pull request on GitHub's web interface.