Skip to content

gitignore agents md#591

Merged
bvdmitri merged 1 commit intomainfrom
gitignore-agents-md
Mar 26, 2026
Merged

gitignore agents md#591
bvdmitri merged 1 commit intomainfrom
gitignore-agents-md

Conversation

@fonsp
Copy link
Copy Markdown
Contributor

@fonsp fonsp commented Mar 26, 2026

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

🤖 Code Formatting

Your PR still has some code formatting issues. I've updated PR #592 with the necessary formatting changes.

You can merge that PR into this branch to fix the code style check.

Alternatively, you can run make format locally and push the changes yourself.

@bvdmitri bvdmitri merged commit e665765 into main Mar 26, 2026
1 of 2 checks passed
@bvdmitri bvdmitri deleted the gitignore-agents-md branch March 26, 2026 10:21
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