Skip to content

Auto-merge Dependabot updates - #11

Draft
Siedlerchr wants to merge 1 commit into
mainfrom
agent/automerge-dependabot
Draft

Auto-merge Dependabot updates#11
Siedlerchr wants to merge 1 commit into
mainfrom
agent/automerge-dependabot

Conversation

@Siedlerchr

Copy link
Copy Markdown
Member

What changed

  • added a dedicated Dependabot-only pull-request workflow
  • approves Dependabot updates with the JabRef machine credential
  • enables GitHub native squash auto-merge for those updates

Why

Dependabot has no native configuration key for auto-merge. This uses GitHub auto-merge, so required checks and branch protections still apply before the PR is merged.

Validation

  • confirmed auto-merge is enabled for JabRef/jabref-website
  • git diff --check

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant