-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
changed gitignore handling #347
Conversation
Thanks for simplifying the implementation, but I think I still don't like having (redundant) |
it should be easy to change now ^^ (as long as the |
But it's not easy to change when I don't have a |
I meant it should be easy to change the code if we decide for the self ignoring gitignore in |
I also like putting this in the problem .gitignore. Indeed it's a bit redundant but I agree it's more a problem than a contest setting, and anyway these files are automatically generated so there is little overhead. So this settles A1 and B2 from #305. That only leaves the cleanup of unknown-file handling (C). |
#305