Skip to content

Conversation

@mandarini
Copy link
Contributor

Update and consolidate .gitignore files.

@mandarini mandarini requested review from a team as code owners November 10, 2025 14:43
@mandarini mandarini enabled auto-merge (squash) November 10, 2025 15:33
@mandarini mandarini merged commit 0379c98 into master Nov 10, 2025
16 checks passed
@mandarini mandarini deleted the chore/gitignore-update branch November 10, 2025 16:11
@coveralls
Copy link

Coverage Status

coverage: 95.276% (+13.5%) from 81.727%
when pulling 9bc6cc1 on chore/gitignore-update
into 5e6dda1 on master.

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.

5 participants