W3C home > Mailing lists > Public > public-tt@w3.org > May 2017

Include W3C Diff link in PR

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

This archive was generated by hypermail 2.3.1 : Thursday, 5 October 2017 18:24:40 UTC