Shorten GitHub URLs in `generate-email.sh`
diff --git a/.github/generate-email.sh b/.github/generate-email.sh
index e985fec..d9acfd6 100755
--- a/.github/generate-email.sh
+++ b/.github/generate-email.sh
@@ -49,7 +49,8 @@
dump_release_notes() {
awk "f{print} /^Release date::/{f=1}" "$RELEASE_NOTES_FILE" \
- | sed -r 's!'$PROJECT_REPO'/(issues|pull)/[0-9]+\[([0-9]+)\]!#\2!g'
+ | sed -r 's!'$PROJECT_REPO'/(issues|pull)/[0-9]+\[([0-9]+)\]!#\2!g' \
+ | sed -r 's!https://github.com/([^/]+)/([^/]+)/(pull|issues)/([0-9]+)\[(\1/\2#\4)\]!\5!g'
}
case $1 in
