Cwikius-Spring
/
spring-security
mirror of https://github.com/spring-projects/spring-security.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch '6.3.x'

This commit is contained in:
Marcus Hert Da Coregio 2024-07-10 12:48:56 -03:00
parent d239806987 dca1eb036d
commit c885cee719
1 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/mark-duplicate-dependabot-prs.yml vendored
View File

@ -1,18 +1,10 @@
name: Mark Duplicate PRs
name: Mark Duplicate Dependabot PRs
on:
pull_request:
types: [closed]
jobs:
debug:
runs-on: ubuntu-latest
steps:
- name: Debug Event Payload
run: |
echo "Merged: ${{ github.event.pull_request.merged }}"
echo "User Login: ${{ github.event.pull_request.user.login }}"
check_duplicate_prs:
runs-on: ubuntu-latest
if: github.event.pull_request.merged == true && github.event.pull_request.user.login == 'dependabot[bot]'
@ -33,7 +25,7 @@ jobs:
DEPENDENCY_NAME: ${{ steps.extract.outputs.dependency_name }}
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
PRS=$(gh pr list --search "milestone:${{ github.event.pull_request.milestone.title }} is:merged $DEPENDENCY_NAME" --json number --jq 'map(.number) | join(",")')
PRS=$(gh pr list --search 'milestone:${{ github.event.pull_request.milestone.title }} is:merged in:title "$DEPENDENCY_NAME"' --json number --jq 'map(.number) | join(",")')
echo "prs=$PRS" >> $GITHUB_OUTPUT
- name: Label Duplicate PRs