From e35aa02137a7aed0f59d81670d4ce4dee22202ce Mon Sep 17 00:00:00 2001 From: Jianxin Xiong Date: Thu, 30 Jan 2025 10:30:01 -0800 Subject: [PATCH] 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 --- .github/workflows/gh-man.sh | 3 +++ .github/workflows/nroff-elves.sh | 3 +++ 2 files changed, 6 insertions(+) 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