build: add a retry on `git push` in `merge-pr.sh`#875

Merged

coriolinus merged 1 commit intomainfrom prgn/build/delay-in-merge-pr

Jan 22, 2025

+10-1

Commits on Jan 22, 2025

build: add a retry on git push in merge-pr.sh
coriolinus
committed