- Check GitHub Issue for similar issues.
- If there isn't one, create a new issue.
- Fork this repository on GitHub.
- Run
$ git branch feature-name
to create a new branch. - Make changes.
- Make sure you pass all checks by running
$ make check
. - Push the branch to your fork repository, then create a pull request on GitHub.