getting diffs for commits on github

It’s as easy as adding .patch or .diff to the end of the commit URL. Who’d have thought!

See this github ticket.