diff --git a/.github/workflows/gh-man.sh b/.github/workflows/gh-man.sh index 07b97cc1559..6935b7b8af8 100755 --- a/.github/workflows/gh-man.sh +++ b/.github/workflows/gh-man.sh @@ -79,6 +79,9 @@ done status=0 if test $i -lt $i_max; then + # approve the PR + gh pr review $pr_num --approve + # rebase the commit onto the base branch gh pr merge $pr_num -r diff --git a/.github/workflows/nroff-elves.sh b/.github/workflows/nroff-elves.sh index f3ecbb4a5b4..7773c5694c2 100755 --- a/.github/workflows/nroff-elves.sh +++ b/.github/workflows/nroff-elves.sh @@ -92,6 +92,9 @@ done status=0 if test $i -lt $i_max; then + # approve the PR + gh pr review $pr_num --approve + # rebase the commit onto the base branch gh pr merge $pr_num -r