Skip to content

ci: check Dependabot merge list fields before a merge - #193

Merged
BartWaardenburg merged 1 commit into
mainfrom
chore/dependabot-pin-1792637570-srcmap
Oct 22, 2026
Merged

BartWaardenburg merged 1 commit into
mainfrom
chore/dependabot-pin-1792637570-srcmap

Conversation

@BartWaardenburg

Copy link
Copy Markdown
Collaborator

Pins the reusable Dependabot workflow to fallow-rs/.github at 2fe02ef95c178680b3f568146cd10ec3a0849af9 (fallow-rs/.github#13). The merge step now checks the number and commit of each entry, and squash subjects hold no control characters. Where a commit lint runs on pull requests, it now skips bot pull requests, whose commit headers never reach main.

Issue: N/A

Pins the reusable Dependabot workflow to fallow-rs/.github at 2fe02ef95c178680b3f568146cd10ec3a0849af9.
The merge step now checks the number and commit of each entry, and
squash subjects hold no control characters. A commit lint on pull requests
skips bot pull requests, whose commit headers never reach main.

Signed-off-by: Bart Waardenburg <bart@waardenburg.dev>
@BartWaardenburg
BartWaardenburg merged commit 38d6453 into main Oct 22, 2026
19 checks passed
@BartWaardenburg
BartWaardenburg deleted the chore/dependabot-pin-1792637570-srcmap branch October 22, 2026 05:39
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