commit: 6f46e35f832ed1737d5ed8bcd5f624231565a6b8 Author: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz> AuthorDate: Sat Mar 14 05:28:21 2026 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Sat Mar 14 06:09:22 2026 +0000 URL: https://gitweb.gentoo.org/proj/repo-mirror-ci.git/commit/?id=6f46e35f
pull-request: fix PR link notification mail Subtle difference in the URL structure which left the Codeberg PR links broken. Signed-off-by: Thomas Bracht Laumann Jespersen <t <AT> laumann.xyz> Part-of: https://github.com/gentoo/repo-mirror-ci/pull/19 Closes: https://github.com/gentoo/repo-mirror-ci/pull/19 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> pull-request/pull-requests.bash | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pull-request/pull-requests.bash b/pull-request/pull-requests.bash index 64e8718..c9f9e2f 100755 --- a/pull-request/pull-requests.bash +++ b/pull-request/pull-requests.bash @@ -16,8 +16,8 @@ if [[ -s ${pull}/current-pr ]]; then prid="${pr#*/}" cd -- "${sync}" case ${forge} in - github) pr_repo="${PULL_REQUEST_REPO}";; - codeberg) pr_repo="https://codeberg.org/${CODEBERG_REPO}";;; + github) prlink="${PULL_REQUEST_REPO}/pull/${prid}";; + codeberg) prlink="https://codeberg.org/${CODEBERG_REPO}/pulls/${prid}";;; *) echo "unknown forge ${forge}"; exit 1;; esac "${SCRIPT_DIR}"/pull-request/set-pull-request-status.py "${pr}" error \ @@ -29,7 +29,7 @@ if [[ -s ${pull}/current-pr ]]; then It seems that pull request check for ${pr} crashed [1]. - [1]:${pr_repo}/pull/${prid} + [1]:${prlink} EOF rm -f -- "${pull}"/current-pr fi
