Re: Re: Checkout of web-platform-tests pull request

-----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