Skip to content

ci: mention me when automerge leaves a pull request open - #28

Merged
erikbrinkman merged 1 commit into
mainfrom
pr28
Oct 8, 2026
Merged

erikbrinkman merged 1 commit into
mainfrom
pr28

Conversation

@erikbrinkman

@erikbrinkman erikbrinkman commented Oct 8, 2026 •

Copy link
Copy Markdown
Contributor

No description provided.

@erikbrinkman
erikbrinkman marked this pull request as ready for review October 8, 2026 02:04
@erikbrinkman
erikbrinkman merged commit 1d0ec5c into main Oct 8, 2026
4 checks passed
@erikbrinkman
erikbrinkman deleted the pr28 branch October 8, 2026 02:04
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