Checkout of web-platform-tests pull request

Hi,

Following a discussion on #webapps today, I've made a manual [*]
checkout of all the existing pull requests on the web-platform-tests
repository:
https://github.com/w3c/web-platform-tests/pulls

They have been checked out in
https://w3c-test.org/web-platform-tests/submissions/ using the labels of
the pull requests as the directory name (look at how many ways one can
spell "w3c:submission").

At least one submission checkout didn't succeed due to conflicts in
merging (https://github.com/w3c/web-platform-tests/pull/44)

The purpose of these checkout is to make it somewhat easier to run the
submitted test cases in one's browser.

The discussion in #webapps had alluded to something more automated (e.g.
automatic checkout each time a pull request is made), but I didn't
manage to find a reasonable security approach within what the github API
offers; meanwhile, I expect a manual approach will work fine for now,
and I expect a more involved review system will provide a more automated
approach in the future.

Dom

[*] The following bash command checkouts all the open pull request on
the server, when run
in /u/www.w3c-test.org/web-platform-tests/submissions:
        for i in `cat ~/owp-pullrequests.json |grep '"label"'|grep -v
        "w3c:master" |cut -d '"' -f 4` ; do mkdir -p $i ; cd $i ; cp
        -r /u/www.w3c-test.org/web-platform-tests/master
        web-platform-tests ; cd web-platform-tests ;
        req=`~/bin/git-pull-request |grep -B1 $i|head -1|cut -d " " -f
        2` ; ~/bin/git-pull-request $req ;
        cd /u/www.w3c-test.org/web-platform-tests/submissions ; done
        
where git-pull-request is
https://github.com/splitbrain/git-pull-request/blob/master/git-pull-request modified with a "--no-edit" argument in the "git pull" call.
and ~/owp-pullrequests.json obtained via
https://api.github.com/repos/w3c/web-platform-tests/pulls and
JSON-pretty-printed.

[in practice, a more reliable way to do this would be to use  "git
config --add remote.origin.fetch
'+refs/pull/*/head:refs/remotes/origin/pr/*'" followed by "git pull" and
"git checkout pr/$number"]

Dom

Received on Wednesday, 10 April 2013 17:19:58 UTC