Month in Mathlib May 2024 (#76)

Co-authored-by: Oliver Nash <[email protected]>
Co-authored-by: Joël Riou <[email protected]>
Co-authored-by: Michael Rothgang <[email protected]>
Co-authored-by: Sébastien Gouëzel <[email protected]>
Co-authored-by: Amelia Livingston <[email protected]>
Co-authored-by: Mitchell Lee <[email protected]>
Co-authored-by: David Loeffler <[email protected]>
Co-authored-by: Damiano Testa <[email protected]>
Co-authored-by: Jireh Loreaux <[email protected]>
Co-authored-by: Kim Morrison <[email protected]>

Author: 11 people

monthly-blog.sh

@@ -46,6 +46,6 @@ echo ""
 pushd $mathlib > /dev/null
 
 git log --date=iso-local --pretty=oneline --abbrev-commit --since "$yy-$mm-01" --until "$yy-$mm-$daysOfMonth" | tac |
-sed 's|\([^ ]*\) \(.*\) (#\([0-9]*\))|* [PR #\3](https://github.com/leanprover-community/mathlib/pull/\3) :: \2|'
+sed 's|\([^ ]*\) \(.*\) (#\([0-9]*\))|* [PR #\3](https://github.com/leanprover-community/mathlib4/pull/\3) :: \2|'
 
 popd > /dev/null