In order to prevent local development changes from appearing in git diff and being committed
Co-authored-by: Mike Zhiguo Zhang <zhiguo.zhang@real-digital.de>
Got it, thanks for the contribution! Neither of us (maintainers) use Windows so we weren't aware of this. Thanks a bunch for pointing it out and fixing it!
Contributed by Evan! Thanks for the contribution!
- Minor linting and rebasing done by Yuhong, everything else from Evan
---------
Co-authored-by: Evan Sarmiento <e.sarmiento@soax.com>
Co-authored-by: Evan <esarmien@fas.harvard.edu>
