Skip to content

Chore/minor updates - #64

Merged
eschaar merged 2 commits into
mainfrom
chore/minor-updates
May 28, 2026
Merged

Chore/minor updates#64
eschaar merged 2 commits into
mainfrom
chore/minor-updates

Conversation

@eschaar

@eschaar eschaar commented May 28, 2026

Copy link
Copy Markdown
Owner

Summary

This PR makes the Dependabot auto-merge workflow fail gracefully when repository-level auto-merge is disabled. Instead of hard-failing the job, the workflow now logs a warning and leaves the PR on the manual merge path.

It also updates the CI/CD documentation to reflect the actual repository settings and fallback behavior.

Why

The current workflow can hit a GitHub repository-level restriction even when a PR is otherwise eligible for auto-merge. That causes unnecessary workflow failures and noisy Dependabot runs.

This change keeps the policy intact while making the behavior clearer and less brittle.

Version impact

  • None
  • Patch
  • Minor
  • Major

@eschaar
eschaar merged commit ac91e78 into main May 28, 2026
17 checks passed
@eschaar
eschaar deleted the chore/minor-updates branch May 28, 2026 22:18
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