File tree Expand file tree Collapse file tree 2 files changed +18
-2
lines changed Expand file tree Collapse file tree 2 files changed +18
-2
lines changed Original file line number Diff line number Diff line change @@ -19,12 +19,14 @@ jobs:
19
19
npm ci --production
20
20
- name : Run validate.js
21
21
run : node validate.js > report.json
22
+ - name : Run extract-rec-track.js
23
+ run : node extract-rec-track.js > rec-track-repos.json
22
24
- name : Commit changes
23
25
run : |
24
26
git config user.name "w3c-validate-repos-bot"
25
27
git config user.email "<>"
26
- git add report.json
27
- git commit -m "Update report.json"
28
+ git add report.json rec-track-repos.json
29
+ git commit -m "Update report.json and rec-track-repos.json "
28
30
git show
29
31
- name : Push changes
30
32
if : github.ref == 'refs/heads/master'
Original file line number Diff line number Diff line change
1
+ /* eslint-env node */
2
+
3
+ "use strict" ;
4
+
5
+ const repos = require ( "./report.json" ) . repos ;
6
+
7
+ console . log ( JSON . stringify (
8
+ repos . filter ( r => r . w3c && r . w3c [ "repo-type" ]
9
+ && ( r . w3c [ "repo-type" ] === "rec-track" ||
10
+ r . w3c [ "repo-type" ] . includes ( "rec-track" ) ) )
11
+ . map ( r => r . owner . login + "/" + r . name ) ,
12
+ null ,
13
+ 2 )
14
+ ) ;
You can’t perform that action at this time.
0 commit comments