Skip to content

chore: ignore agents config files#6474

Merged
mcollina merged 1 commit intomainfrom
add-agents-ignore
Jan 30, 2026
Merged

chore: ignore agents config files#6474
mcollina merged 1 commit intomainfrom
add-agents-ignore

Conversation

@mcollina
Copy link
Member

No description provided.

Signed-off-by: Matteo Collina <hello@matteocollina.com>
@mcollina mcollina changed the title Ignore agents config files chore: ignore agents config files Jan 30, 2026
Copy link
Member

@jsumners jsumners left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems like an infinite list to me.

@mcollina
Copy link
Member Author

There are probably more

@mcollina mcollina merged commit 17172c4 into main Jan 30, 2026
33 of 34 checks passed
@mcollina mcollina deleted the add-agents-ignore branch January 30, 2026 22:43
@Eomm Eomm added the chore Small changes or internal project maintenance label Jan 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Small changes or internal project maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants