Bram, when referring to pull requests or issues in commits (or comments/issues), it's useful to prepend the number with #
(it would be PR #298
in this case). This creates cross-references between commits and issues on GitHub, which can be handy.
You can even close corresponding issues by writing Closes #298
in commit message (details).
Saying just in case you didn't know about these things, which can simplify workflow a bit.
—
Reply to this email directly or view it on GitHub.