From 57917f825a9d321cf7cc5d011cbcea8e0dfe9b25 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mat=C3=ADas=20Ignacio=20Gonz=C3=A1lez?=
 <maigonzalez@fi.uba.ar>
Date: Wed, 10 Jul 2024 23:06:58 +0200
Subject: [PATCH] Create stats.yml

---
 .github/workflows/stats.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/stats.yml

diff --git a/.github/workflows/stats.yml b/.github/workflows/stats.yml
new file mode 100644
index 0000000..50f9312
--- /dev/null
+++ b/.github/workflows/stats.yml
@@ -0,0 +1,19 @@
+name: Stats
+
+on:
+  schedule:
+    # Run this once per day, towards the end of the day for keeping the most
+    # recent data point most meaningful (hours are interpreted in UTC).
+    - cron: "0 23 * * *"
+  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:
+          ghtoken: ${{ secrets.ghrs_github_api_token }}