Shorten GitHub URLs in generate-email.sh

vy · vy · commit 27c732c7bea7 · 2023-10-26T12:45:25.000+02:00
diff --git a/.github/generate-email.sh b/.github/generate-email.sh
@@ -49,7 +49,8 @@ RELEASE_NOTES_FILE="$SCRIPT_DIR/../src/site/_release-notes/_$PROJECT_VERSION.ado
 
 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

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,8 @@ RELEASE_NOTES_FILE="$SCRIPT_DIR/../src/site/_release-notes/_$PROJECT_VERSION.ado`
`49`	`49`
`50`	`50`	`dump_release_notes() {`
`51`	`51`	`awk "f{print} /^Release date::/{f=1}" "$RELEASE_NOTES_FILE" \`
`52`		`- \| sed -r 's!'$PROJECT_REPO'/(issues\|pull)/[0-9]+\[([0-9]+)\]!#\2!g'`
	`52`	`+ \| sed -r 's!'$PROJECT_REPO'/(issues\|pull)/[0-9]+\[([0-9]+)\]!#\2!g' \`
	`53`	`+ \| sed -r 's!https://github.com/([^/]+)/([^/]+)/(pull\|issues)/([0-9]+)\[(\1/\2#\4)\]!\5!g'`
`53`	`54`	`}`
`54`	`55`
`55`	`56`	`case $1 in`