- From: James Graham <jgraham@opera.com>
- Date: Sun, 14 Apr 2013 18:49:38 +0200
- To: "Dominique Hazael-Massieux" <dom@w3.org>
- Cc: public-test-infra@w3.org
-----Original Message----- > From: "Dominique Hazael-Massieux" <dom@w3.org> > To: "James Graham" <jgraham@opera.com> > Cc: public-test-infra@w3.org > Date: 2013-04-11 17:00 > Subject: Re: Checkout of web-platform-tests pull request > > > I can try adding these features to the code I wrote if there's any > > chance it will be used. If you are planning to start from scratch I > > won't bother :) > > I'd be very grateful if you could add these features to your code! Yes, > I certainly intend to use it! 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. I have also moved the script onto github-proper, just so that it's a bit easier to work with [1] 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
Received on Sunday, 14 April 2013 16:50:10 UTC