- From: Dominique Hazael-Massieux <dom@w3.org>
- Date: Mon, 29 Apr 2013 18:05:29 +0200
- To: James Graham <jgraham@opera.com>
- Cc: public-test-infra@w3.org
Le dimanche 14 avril 2013 à 18:49 +0200, James Graham a écrit : > 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. Just to close the loop here: after a few back and forth, I have managed to set James's script up on w3c-test.org, and it seems to have been operating fine over the past 10 days, checking out submissions as they get made into https://w3c-test.org/web-platform-tests/submissions/ Thanks a lot James for providing this nifty tool! Dom
Received on Monday, 29 April 2013 16:05:47 UTC