Note
Pull requests should follow the git flow described in the wiki.
To get git history clean and aid in more useful release notes, it is essential to use the Squash and merge
option when
merging into 'master', and the Create merge commit
option when merging into 'releases'.