From dec36003db64ffa7ea48fb7afd5d0eb21d0eaa17 Mon Sep 17 00:00:00 2001 From: adomani Date: Fri, 2 Aug 2024 16:58:04 +0200 Subject: [PATCH] print raw --- monthly_summary.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/monthly_summary.sh b/monthly_summary.sh index 88e20fb94..e470f6643 100755 --- a/monthly_summary.sh +++ b/monthly_summary.sh @@ -2,7 +2,8 @@ : <<'BASH_DOC_MODULE' -This command +Running `monthly_summary.sh 2024-07` produces an md-formatted summary of all the PRs that were +merged into mathlib master in the month 2024-07 BASH_DOC_MODULE @@ -27,7 +28,7 @@ if [ "$#" -gt 2 ]; then fi raw="${2}" - +echo "raw is ${raw}" rm -rf found_by_gh.txt found_by_git.txt findInRange () {