commit: e68c5ea85a8855b815add9d36d20075fcdfb2f1e Author: Thomas Bracht Laumann Jespersen <t <AT> laumann <DOT> xyz> AuthorDate: Sun Feb 8 11:09:47 2026 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Sun Feb 8 15:43:53 2026 +0000 URL: https://gitweb.gentoo.org/proj/repo-mirror-ci.git/commit/?id=e68c5ea8
pull-request: ensure that current-pr file is created in correct location Signed-off-by: Thomas Bracht Laumann Jespersen <t <AT> laumann.xyz> Part-of: https://github.com/gentoo/repo-mirror-ci/pull/11 Closes: https://github.com/gentoo/repo-mirror-ci/pull/11 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> pull-request/pull-requests.bash | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pull-request/pull-requests.bash b/pull-request/pull-requests.bash index 72d1b3b..b31f0f5 100755 --- a/pull-request/pull-requests.bash +++ b/pull-request/pull-requests.bash @@ -56,7 +56,7 @@ mkdir -p -- "${pull}" prid=$( "${SCRIPT_DIR}"/pull-request/scan-pull-requests.py ) if [[ -n ${prid} ]]; then - echo "${prid}" > current-pr + echo "${prid}" > "${pull}"/current-pr cd -- "${sync}" ref=refs/pull/${prid} @@ -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 -- current-pr + rm -f -- "{pull}"/current-pr rm -rf -- "${pull}"/tmp "${pull}"/gentoo-ci fi
