Fix bad PR URL

SeanTAllen · SeanTAllen · commit c8eead138105 · 2020-05-25T02:59:24.000-04:00
diff --git a/.ci-scripts/pr-label.bash b/.ci-scripts/pr-label.bash
@@ -54,7 +54,7 @@ lwip_url=$(echo "${result}" | jq -r '.[].url')
 if [ "$lwip_url" != "" ]; then
   body="
 The '${PR_TITLE}' RFC has been updated to '${STATUS_LABEL}'
-See the [RFC](https://github.com/ponylang/rfcs/pull/${PR_HTML_URL}) for more details.
+See the [RFC](${PR_HTML_URL}) for more details.
 "
 
   jsontemplate="

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ lwip_url=$(echo "${result}" \| jq -r '.[].url')`
`54`	`54`	`if [ "$lwip_url" != "" ]; then`
`55`	`55`	`body="`
`56`	`56`	`The '${PR_TITLE}' RFC has been updated to '${STATUS_LABEL}'`
`57`		`-See the [RFC](https://github.com/ponylang/rfcs/pull/${PR_HTML_URL}) for more details.`
	`57`	`+See the [RFC](${PR_HTML_URL}) for more details.`
`58`	`58`	`"`
`59`	`59`
`60`	`60`	`jsontemplate="`