Skip to content

Fixing a couple of git ignore edge cases#1773

Merged
belav merged 1 commit intomainfrom
more-git-ignore
Dec 12, 2025
Merged

Fixing a couple of git ignore edge cases#1773
belav merged 1 commit intomainfrom
more-git-ignore

Conversation

@belav
Copy link
Copy Markdown
Owner

@belav belav commented Dec 12, 2025

closes #1771

@belav belav marked this pull request as ready for review December 12, 2025 18:06
@belav belav merged commit c47ec3c into main Dec 12, 2025
7 checks passed
@belav belav deleted the more-git-ignore branch December 12, 2025 18:11
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.

A couple of gitignore edge cases

1 participant