Include W3C Diff link in PR

Hi all,

It would be good if pull request authors included a live link to the
W3C HTML diff service [1] showing the delta from the latest ED.

[1] http://services.w3.org/htmldiff

For example,

http://services.w3.org/htmldiff?doc1=https%3A%2F%2Fw3c.github.io%2Fttml2%2Fspec%2Fttml2.html&doc2=https%3A%2F%2Fraw.githubusercontent.com%2Fw3c%2Fttml2%2Ff6c6c13c922db8d21c51bdde3a64b45e8f86d253%2Fspec%2Fttml2.html

It would really speed up reviews.

Best,

-- Pierre

Received on Wednesday, 24 May 2017 05:27:44 UTC