commit: cb1ba48125fd40a761b4ee28fce8375bc84bcb42
Author: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz>
AuthorDate: Mon Feb 9 11:07:49 2026 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Mon Feb 9 11:29:35 2026 +0000
URL:
https://gitweb.gentoo.org/proj/repo-mirror-ci.git/commit/?id=cb1ba481
pull-request: fix removal of "${pull}"/current-pr
Signed-off-by: Thomas Bracht Laumann Jespersen <t <AT> laumann.xyz>
Part-of: https://github.com/gentoo/repo-mirror-ci/pull/12
Closes: https://github.com/gentoo/repo-mirror-ci/pull/12
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
pull-request/pull-requests.bash | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pull-request/pull-requests.bash b/pull-request/pull-requests.bash
index b31f0f5..c3a7950 100755
--- a/pull-request/pull-requests.bash
+++ b/pull-request/pull-requests.bash
@@ -150,7 +150,7 @@ if [[ -n ${prid} ]]; then
"${SCRIPT_DIR}"/pull-request/report-pull-request.py "${prid}"
"${pr_hash}" \
"${pull}"/gentoo-ci/borked.list .pre-merge.borked "${hash}"
- rm -f -- "{pull}"/current-pr
+ rm -f -- "${pull}"/current-pr
rm -rf -- "${pull}"/tmp "${pull}"/gentoo-ci
fi