actions/superlint
1
0
Fork 0
mirror of https://github.com/super-linter/super-linter.git synced 2025-01-22 22:39:02 -05:00
Code Issues Projects Releases Packages Wiki Activity

chore: remove delete-branch option (#6514)

Browse source 
Remove the --delete-branch option in the dependency automation workflow.
Ref: https://github.com/cli/cli/pull/10074
This commit is contained in:
Marco Ferrari 2025-01-20 15:40:02 +01:00 • committed by GitHub
parent ae844193ed
commit 4c666df3c9
WARNING! Although there is a key with this ID in the database it does not verify this commit! This commit is SUSPICIOUS.
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/dependabot-automation.yaml vendored
View file

@ -24,6 +24,6 @@ jobs:
uses: dependabot/fetch-metadata@v2
with:
github-token: "${{ secrets.GITHUB_TOKEN }}"
# This doesn't trigger an automated merge because we require at approvals
# This doesn't trigger an automated merge because we require approvals
- name: Enable auto-merge
run: gh pr merge --auto --squash --delete-branch "${PR_URL}"
run: gh pr merge --auto --squash "${PR_URL}"