Include W3C Diff link in PR

• From: Pierre-Anthony Lemieux <pal@sandflow.com>
• Date: Tue, 23 May 2017 22:26:49 -0700
• To: "public-tt@w3.org" <public-tt@w3.org>
• Message-ID: <CAF_7JxD-Ht8XhLJa-PEn_sqkTo4EQkWOXNmrKAj7k3duLX7W6A@mail.gmail.com>

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