Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove automatic gitignoring. #983
Previously, we automatically added metals files to gitignore, now we leave it to the user to decide.
Turns out most people are either opposed to this change or have a different opinion on how it should work, so we decided not to introduce this altogether.