- From: Robin Berjon <robin@w3.org>
- Date: Mon, 15 Apr 2013 11:19:05 +0200
- To: James Graham <jgraham@opera.com>
- CC: Dominique Hazael-Massieux <dom@w3.org>, public-test-infra@w3.org
On 14/04/2013 18:49 , James Graham wrote: > Well I added some features, but not quite the ones we discussed :) In > particular rather than looking at labels I added the ability to > mirror or unmirror particular pull requests by adding specially > formatted comments to the issue associated with the PR (in particular > a comment starting w3c-test:mirror or w3c-test:unmirror, > respectively). This avoids the need for polling, so it was much > easier to implement. In addition I restricted auto-mirroring, and the > ability to run the aforementioned commands, to people that already > have write access to the repo. It so happens that you really did the right thing. I just got word from our friends at GitHub that they're interested in adding an event for labels at some point, but that it won't happen any time soon. They suggested that magic comments would be the way to go in the meantime. > I should note that *none* of the code that happens in response to > github hooks has been tested at all. Therefore it *is* broken. But > hopefully only in trivial ways rather than "this design is > unworkable" ways. > > [1] https://github.com/jgraham/github_sync Sweet! Any reason I should just grab it and deploy? -- Robin Berjon - http://berjon.com/ - @robinberjon
Received on Monday, 15 April 2013 09:19:29 UTC