Pull requests

If you want to start a pull request, ask @pierucci to create a feature or bugfix branch to receive your pull request. Then choose to merge in this branch when creating the request. @pierucci will then probably tweak your code before merging to the main branch.

If you need to import updates from the main branch before creating the pull request use git rebase, not git merge.

Don't forget to check out the coding standards.