W3C home > Mailing lists > Public > public-script-coord@w3.org > October to December 2016

[psa] Added a preview and html diff bot to GitHub

From: Tobie Langel <tobie@codespeaks.com>
Date: Fri, 14 Oct 2016 11:01:54 +0200
Message-Id: <1476435714.1937050.755739881.459E11AB@webmail.messagingengine.com>
To: public-script-coord@w3.org

Heads up that I added a small bot that automatically appends links to
the HTML preview and HTML diff of the proposed changes   to pull
requests (and keeps up to date), e.g.: [#180].

Pull requests with multiple commits get an expandable section with per
commit links, e.g.: [#183].

You can easily add one or multiple anchors in the generated comment that
are automatically added to all links [anchors]. This makes it super
simple to navigate directly to the affected sections of the spec when
reviewing the PR.

Because it only modifies the initial issue, this bot won't create an
comment spam.

I created this bot because I was always struggling to understand pull
request changes in context. I imagine other people new to this spec have
similar issues and I'm hoping it will help the larger community get more
involved with this spec.

The bot's source code is available on GitHub [src].

Questions, comments and change requests are of course welcomed.


[#183]: https://github.com/heycam/webidl/pull/183
[#182]: https://github.com/heycam/webidl/pull/182
[src]: https://github.com/tobie/webidl-pr-preview
Received on Friday, 14 October 2016 09:03:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:25 UTC