- fork the repository
- make your changes
- create a pull request
We follow the methodology as described on the github help pages on fork a repo and syncing a fork
We use the github issue queue, so you can have a look at it to see what the current issues are.