Add matrix to generate reports for several repos

Signed-off-by: David Schall <[email protected]>

Author: dhschall

.github/workflows/vhive-repo-stats.yml

@@ -8,19 +8,28 @@ on:
 
 jobs:
   j1:
-    name: vhive-repo-stats
+    name: repo-stats
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        # The repositories to generate reports for.
+        statsRepo: ['ease-lab/vhive', 'ease-lab/vSwarm', 'ease-lab/vSwarm-u']
+      # Do not cancel&fail all remaining jobs upon first job failure.
+      fail-fast: false
+      # Help avoid commit conflicts. Note(JP): this should not be
+      # necessary anymore, feedback appreciated
+      max-parallel: 1
     steps:
       - name: GHRS
-        uses: jgehrcke/github-repo-stats@HEAD
+        uses: jgehrcke/github-repo-stats@RELEASE
         with:
           # Define the target repository, the repo to fetch
           # stats for and to generate the report for.
           # Leave this undefined when stats repository
           # and data repository should be the same.
-          repository: ease-lab/vhive
+          repository: ${{ matrix.statsRepo }}
           # Required token privileges: Can read the target
           # repo, and can push to the repository this
           # workflow file lives in (to store data and
           # the report files).
-          ghtoken: ${{ secrets.ghrs_github_api_token }}
+          ghtoken: ${{ secrets.ghrs_github_api_token }}