github/actions: Change to manual merge for the man page converter

Merge cannot be done automatically due to the new review approval
requirement on the main and stable branches.

Add a random number to the temporary branch to avoid conflict
among multiple action runs since now the temporary branches need
to be deleted manually.

Signed-off-by: Jianxin Xiong <[email protected]>

Author: j-xiong

.github/workflows/nroff-elves.sh

@@ -51,7 +51,7 @@ done
 git config --global user.name "OFIWG Bot"
 git config --global user.email "[email protected]"
 
-branch_name=pr/update-nroff-generated-man-pages-$BASE_REF
+branch_name=pr/update-nroff-generated-man-pages-$BASE_REF-`date +%s`
 git checkout -b $branch_name
 
 set +e
@@ -70,6 +70,10 @@ git push --set-upstream origin $branch_name
 url=`gh pr create --base $BASE_REF --title 'Update nroff-generated man pages' --body ''`
 pr_num=`echo $url | cut -d/ -f7`
 
+# skip the remaining steps for now since merge now requires
+# appproval which cannot be done automatically.
+exit 0
+
 # Wait for the required "DCO" CI to complete
 i=0
 sleep_time=5