mirror of
https://github.com/niels-emmer/myace.git
synced 2026-09-13 23:53:30 +02:00
[PR #141] [MERGED] docs: credit Marvin (marv-o-matic) as automated PR review bot #141
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
github-mirrors/myace#141
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/niels-emmer/myace/pull/141
Author: @marv1n-bot
Created: 8/22/2026
Status: ✅ Merged
Merged: 8/22/2026
Merged by: @marv1n-bot
Base:
main← Head:docs/credit-marvin-review-bot📝 Commits (1)
1dc5347docs: credit Marvin (marv-o-matic) as automated PR review bot in Acknowledgements📊 Changes
1 file changed (+5 additions, -0 deletions)
View changed files
📝
README.md(+5 -0)📄 Description
Adds a short credit for Marvin (
marv-o-matic) to the README Acknowledgements section, per niels's request — he now runs as an automated PR review bot with his own GitHub identity rather than posting under niels's account.Docs-only change.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.