build: add a retry on git push
in merge-pr.sh
#427
Job | Run time |
---|---|
3m 37s | |
2m 22s | |
34s | |
10s | |
6m 43s |
git push
in merge-pr.sh
#427
Job | Run time |
---|---|
3m 37s | |
2m 22s | |
34s | |
10s | |
6m 43s |