|
Thanks for this! :D Yes it should be safe to add diffs/* to .gitignore, but keep the diffs dir. |
Sorry, something went wrong.
|
Nevermind you're right sorry! We don't have an empty diffs dir in main (@clewis7 wrote the entire test suite so I'm sometimes unfamiliar with the details here) |
Sorry, something went wrong.
|
Right, so the main question (for you all), is whether you ever intend to check stuff into diffs, or if it's always the byproduct product of a test. If the latter, just add it to gitignore, and then developers don't need to pay any special attention to it. |
Sorry, something went wrong.
|
Yup it's indeed the latter! |
Sorry, something went wrong.
|
Bypassing CI for this since no source files are touched. |
Sorry, something went wrong.
closes #388
@kushalkolar, how's this read?
also, do you ever commit stuff in diffs/? or is it worth adding it to git ignore?