feat: wait-iteration to control the timeout for the destination pull request

on a busy repository or with a long workflow, it may take more than
the one hour default to complete
This commit is contained in:
Earl Warren 2025-09-11 18:14:06 +02:00
parent 0ff02f5d54
commit c2c22e2994
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00
4 changed files with 17 additions and 1 deletions

View file

@ -401,6 +401,7 @@ function finalize_options() {
else
options[destination_is_fork]=false
fi
set_loop_delay ${options[wait_iteration]}
: ${options[close]:=false}
}
@ -543,6 +544,11 @@ function main() {
options[update]=$1
shift
;;
--wait-iteration)
shift
options[wait_iteration]=$1
shift
;;
--prefix)
shift
options[prefix]=$1