Skip to content
This repository was archived by the owner on Oct 7, 2026. It is now read-only.

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

Merged
erikbrinkman merged 1 commit into
mainfrom
pr46
Oct 7, 2026
Merged

erikbrinkman merged 1 commit into
mainfrom
pr46

Conversation

@erikbrinkman

@erikbrinkman erikbrinkman commented Oct 7, 2026 •

Copy link
Copy Markdown
Contributor

No description provided.

@erikbrinkman
erikbrinkman marked this pull request as ready for review October 7, 2026 04:03
@erikbrinkman
erikbrinkman merged commit d5702e1 into main Oct 7, 2026
2 checks passed
@erikbrinkman
erikbrinkman deleted the pr46 branch October 7, 2026 04:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant