Skip to content

Minor cleanup#1

Merged
paolobarbolini merged 5 commits into
mainfrom
patches-1
Jul 13, 2026
Merged

Minor cleanup#1
paolobarbolini merged 5 commits into
mainfrom
patches-1

Conversation

@paolobarbolini

Copy link
Copy Markdown
Member

This makes the readmes, prompts and tool calls more useful and nicer by cleaning them up a little.

@paolobarbolini paolobarbolini merged commit c369727 into main Jul 13, 2026
3 checks passed
@paolobarbolini paolobarbolini deleted the patches-1 branch July 13, 2026 07:55
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.

2 participants