Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a fix so ignore existing option works with CI or MI (#152)
I believe there are still some corner cases that might be missed, but this should fix the most common usage.
- Loading branch information