mirror of
https://github.com/sudoxnym/fdroiddata.git
synced 2026-05-20 04:39:16 +00:00
tools/auto-merge: fix error handle
This commit is contained in:
parent
693fbc8783
commit
282abb2843
1 changed files with 3 additions and 3 deletions
|
|
@ -7,9 +7,9 @@ cd "$(dirname "$(dirname "${BASH_SOURCE[0]}")")"
|
|||
mr=$1
|
||||
glab="glab --repo fdroid/fdroiddata"
|
||||
function retry {
|
||||
while output=$("$@"); [[ $? != 0 ]]; do
|
||||
echo $output | grep -q "Source branch does not exist" && break
|
||||
echo $output | grep -q "this merge request has already been merged" && break
|
||||
while output=$("$@" 2>&1); [[ $? != 0 ]]; do
|
||||
echo $output | grep -q "Source branch does not exist" && exit 0
|
||||
echo $output | grep -q "this merge request has already been merged" && exit 0
|
||||
continue
|
||||
done
|
||||
echo $output
|
||||
|
|
|
|||
Loading…
Reference in a new issue