Skip to content

Add pepper robot - #72

Merged
arntanguy merged 1 commit into
mainfrom
pepper
Jul 3, 2026
Merged

Add pepper robot#72
arntanguy merged 1 commit into
mainfrom
pepper

Conversation

@arntanguy

Copy link
Copy Markdown
Contributor

No description provided.

@mergify

mergify Bot commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@arntanguy
arntanguy merged commit 214f0af into main Jul 3, 2026
24 checks passed
@arntanguy
arntanguy deleted the pepper branch July 3, 2026 22:49
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