github/actions: Approve PR before merge

The man page converter action would fail w/o approval due to updated branch merge policy. Update the GH man page updater similarly even if current branch policy is different. The policy can be changed in the future. Signed-off-by: Jianxin Xiong <[email protected]>
ofiwg · Jan 30, 2025 · e35aa02 · e35aa02
1 parent 9c1eb38
commit e35aa02
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -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