Stream: compiler development

Topic: single .gitignore?


view this post on Zulip Anton (Jan 06 2024 at 12:22):

A PR was created to consolidate all our gitignore files into one single .gitignore. I believe multiple gitignore files do have their benefits but at the same time it's nice to never need to search which .gitignore file you need to alter. Opinions welcome :)

view this post on Zulip Richard Feldman (Jan 06 2024 at 12:53):

seems good to me as long as there aren't things we want to ignore in one place but not others :big_smile:


Last updated: Jul 06 2025 at 12:14 UTC