Merge pull request #299 from anynines/add_metrics

add metrics

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

@@ -0,0 +1,29 @@
+name: github-repo-stats
+
+on:
+  schedule:
+    # Run this every Sunday at 23:00 UTC, towards the end of the day for keeping the most
+    # recent data point most meaningful (hours are interpreted in UTC).
+    - cron: "0 23 * * 0"
+  workflow_dispatch: # Allow for running this manually.
+
+jobs:
+  j1:
+    name: github-repo-stats
+    runs-on: ubuntu-latest
+    steps:
+      - name: run-ghrs
+        # Use latest release.
+        uses: jgehrcke/github-repo-stats@RELEASE
+        with:
+          # Define the stats repository (the repo to fetch
+          # stats for and to generate the report for).
+          # Remove the parameter when the stats repository
+          # and the data repository are the same.
+          repository: anynines/repo-metrics-report
+          # Set a GitHub API token that can read the GitHub
+          # repository traffic API for the stats repository,
+          # and that can push commits to the data repository
+          # (which this workflow file lives in, to store data
+          # and the report files).
+          ghtoken: ${{ secrets.ghmetrics_github_api_token }}