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'.