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

f

Browse Source
This commit is contained in:
carlospolop 2025-07-10 14:59:33 +02:00
parent 18ebb8378c
commit aee25eb86b
1 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -36,7 +36,6 @@ jobs:
if: steps.check_workflows.outputs.should_continue == 'true' if: steps.check_workflows.outputs.should_continue == 'true'
run: | run: |
authorized_user="carlospolop" authorized_user="carlospolop"
merged_count=0
max_merges=2 max_merges=2
echo "Authorized user: $authorized_user" echo "Authorized user: $authorized_user"
@ -50,9 +49,13 @@ jobs:
exit 0 exit 0
fi fi
# Create a temp file to track merge count
echo "0" > /tmp/merged_count
# Process each PR # Process each PR
echo "$prs" | jq -r '.[] | @base64' | while IFS= read -r pr_data; do echo "$prs" | jq -r '.[] | @base64' | while IFS= read -r pr_data; do
if [ "$merged_count" -ge "$max_merges" ]; then current_count=$(cat /tmp/merged_count)
if [ "$current_count" -ge "$max_merges" ]; then
echo "Reached maximum merge limit ($max_merges). Stopping." echo "Reached maximum merge limit ($max_merges). Stopping."
break break
fi fi
@ -100,7 +103,9 @@ jobs:
# Merge the PR (specify repo explicitly since we're not in a git directory) # Merge the PR (specify repo explicitly since we're not in a git directory)
if gh pr merge "$pr_number" --merge --delete-branch --repo "$GITHUB_REPOSITORY"; then if gh pr merge "$pr_number" --merge --delete-branch --repo "$GITHUB_REPOSITORY"; then
echo "Successfully merged PR #$pr_number: $pr_title" echo "Successfully merged PR #$pr_number: $pr_title"
merged_count=$((merged_count + 1)) # Update merge count in temp file
current_count=$(cat /tmp/merged_count)
echo $((current_count + 1)) > /tmp/merged_count
else else
echo "Failed to merge PR #$pr_number: $pr_title" echo "Failed to merge PR #$pr_number: $pr_title"
fi fi
@ -115,6 +120,11 @@ jobs:
rm -f "/tmp/has_merge_comment_$pr_number" rm -f "/tmp/has_merge_comment_$pr_number"
done done
echo "Auto-merge process completed. Merged $merged_count PRs." # Read final merge count from temp file
final_count=$(cat /tmp/merged_count)
echo "Auto-merge process completed. Merged $final_count PRs."
# Clean up merge count file
rm -f /tmp/merged_count
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}