maride/hacktricks
1
0
Fork 0
mirror of https://github.com/HackTricks-wiki/hacktricks.git synced 2025-10-10 18:36:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

merge str

Browse Source
This commit is contained in:
carlospolop 2025-07-10 14:19:22 +02:00
parent 1ea5e75c04
commit db63492fbd
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
.github/workflows/auto_merge_approved_prs.yml vendored
View File

@ -49,7 +49,7 @@ jobs:
max_merges=2
echo "Repository owner: $repo_owner"
echo "Looking for PRs with 👍 emoji from owner..."
echo "Looking for PRs with 'merge' comment from owner..."
# Get all open PRs
prs=$(gh pr list --state open --json number,title,url)
@ -76,17 +76,17 @@ jobs:
# Get all comments for this PR
comments=$(gh pr view "$pr_number" --json comments --jq '.comments[] | select(.author.login == "'"$repo_owner"'") | .body')
# Check if any comment from the owner contains the 👍 emoji
has_thumbs_up=false
# Check if any comment from the owner contains the word "merge"
has_merge_comment=false
while IFS= read -r comment; do
if echo "$comment" | grep -q "👍"; then
has_thumbs_up=true
echo "Found 👍 emoji from owner in PR #$pr_number"
if echo "$comment" | grep -qi "merge"; then
has_merge_comment=true
echo "Found 'merge' comment from owner in PR #$pr_number"
break
fi
done <<< "$comments"
if [ "$has_thumbs_up" = true ]; then
if [ "$has_merge_comment" = true ]; then
echo "Attempting to merge PR #$pr_number..."
# Check if PR can be merged
@ -104,7 +104,7 @@ jobs:
echo "PR #$pr_number is not mergeable (status: $pr_mergeable)"
fi
else
echo "No 👍 emoji found from owner in PR #$pr_number"
echo "No 'merge' comment found from owner in PR #$pr_number"
fi
done