workflows: use git-try-push action
Closes #57067. Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>master
parent
6b743558b8
commit
4501ee0d44
|
@ -76,18 +76,7 @@ jobs:
|
|||
run: |
|
||||
brew pr-pull --verbose ${{github.event.client_payload.pull_request}}
|
||||
- name: Push commits
|
||||
run: |
|
||||
for try in $(seq 20); do
|
||||
git fetch
|
||||
git rebase origin/master
|
||||
if git push; then
|
||||
exit 0
|
||||
else
|
||||
max=$(( $try + 10 ))
|
||||
sleep $(shuf -i 3-$max -n 1)
|
||||
fi
|
||||
done
|
||||
exit 1
|
||||
uses: Homebrew/actions/git-try-push@master
|
||||
- name: Post comment on failure
|
||||
if: ${{!success()}}
|
||||
uses: actions/github-script@0.9.0
|
||||
|
|
Loading…
Reference in New Issue