From 4c49073806968d92eb0aeb159d7fd29ef2e3368d Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Sun, 19 May 2024 17:35:27 +0200
Subject: [PATCH] use weekly_change

---
 .github/workflows/mathlib_stats_label.yaml | 2 +-
 scripts/mathlib_stats.sh                   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/mathlib_stats_label.yaml b/.github/workflows/mathlib_stats_label.yaml
index f857bdc15b1765..a33845dcec6b13 100644
--- a/.github/workflows/mathlib_stats_label.yaml
+++ b/.github/workflows/mathlib_stats_label.yaml
@@ -21,7 +21,7 @@ jobs:
 
       - id: mathlib_stats
         run: |
-          git checkout origin/adomani/periodic_reports_dev_custom_action scripts/mathlib_stats.sh scripts/count_decls.lean
+          git checkout origin/adomani/weekly_change_report scripts/mathlib_stats.sh scripts/count_decls.lean
           printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)" >> "$GITHUB_OUTPUT"
 
           printf '%s\n' "$(./scripts/mathlib_stats.sh)"
diff --git a/scripts/mathlib_stats.sh b/scripts/mathlib_stats.sh
index 1f79202b179979..9065b491bcf8cd 100755
--- a/scripts/mathlib_stats.sh
+++ b/scripts/mathlib_stats.sh
@@ -138,7 +138,7 @@ lake exe cache get > /dev/null
 lake build --quiet
 
 # update the `count_decls` and `mathlib_stats` scripts to the latest version
-git checkout -q origin/adomani/periodic_reports_dev_custom_action scripts/count_decls.lean scripts/mathlib_stats.sh
+git checkout -q origin/adomani/weekly_change_report scripts/count_decls.lean scripts/mathlib_stats.sh
 
 # the output of `count_decls`
 oldDeclsTots="$(getCountDecls)"