Now that we moved issue tracking to GitHub we should adjust our pull request template.
Now that we moved issue tracking to GitHub we should adjust our pull request template.