Skip to content

Change a few details to make the repo appropriate for Botify#1

Merged
ewjoachim merged 9 commits into
mainfrom
botify
Jun 4, 2026
Merged

Change a few details to make the repo appropriate for Botify#1
ewjoachim merged 9 commits into
mainfrom
botify

Conversation

@ewjoachim

Copy link
Copy Markdown
Collaborator

No description provided.

@ewjoachim ewjoachim force-pushed the botify branch 5 times, most recently from 035df5e to 58a8987 Compare May 22, 2026 08:17
@ewjoachim ewjoachim merged commit cb6f1c3 into main Jun 4, 2026
6 checks passed
@ewjoachim ewjoachim deleted the botify branch June 4, 2026 07:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant