- From: Daniel Weck <daniel.weck@gmail.com>
- Date: Mon, 21 Aug 2017 09:01:34 +0100
- To: AUDRAIN LUC <LAUDRAIN@hachette-livre.fr>
- Cc: Ivan Herman <ivan@w3.org>, W3C Publishing Working Group <public-publ-wg@w3.org>, Tobie Langel <tobie@codespeaks.com>
Really great! Dan On 21 August 2017 at 08:28, AUDRAIN LUC <LAUDRAIN@hachette-livre.fr> wrote: > Thanks, very useful! > Luc > > > Le 21/08/2017 09:20, « Ivan Herman » <ivan@w3.org> a écrit : > >>One of the problems with the Pull Request mechanism is that it is fairly >>difficult to see what changed, how the new version would really look >>like, etc. Although GitHub gives you the possibility to see the >>differences in the code, and while that is probably perfectly enough when >>GitHub is used for code development, that is not satisfactory when HTML >>files are concerned. >> >>I have configured, called PR Review (developed by Tobie Langel) which >>helps this. If you look at the latest PR[1], you will see, at the bottom >>of the comment, references to 'Preview' and to 'Diff'. The former >>provides a link to a preview (ie, with respec processed), and the latter >>shows a readable diff (not a diff on the html source but on the way the >>text has changed). (In this very case the latter is not necessary very >>useful because Matt has changed a lot but, in general, I believe that can >>be extremely useful, too). This links, and the modification of the >>comment to add these links, is done automatically. Note that if an extra >>commit is made on the branch that is to be PR-d, the links are >>automatically updated. >> >>I cc-d Tobie to thank him for this tool. I believe it will make our life >>easier. >> >>Cheers >> >>Ivan >> >>P.S. Some of you may have seen that there has been a bunch of seemingly >>unnecessary PR-s on the pwpub repository a few weeks ago: that was due to >>the fact that some problems with respec, related to this tool, came to >>the fore. However, Tobie and Marcos have successfully tracked this down >>and the tool is now operational. >> >>[1] https://github.com/w3c/wpub/pull/43 >> >>---- >>Ivan Herman, W3C >>Publishing@W3C Technical Lead >>Home: http://www.w3.org/People/Ivan/ >>mobile: +31-641044153 >>ORCID ID: http://orcid.org/0000-0003-0782-2704 >> >> > >
Received on Monday, 21 August 2017 08:02:17 UTC