Open jmdelehaye opened 1 year ago
This PR :
NB: This dev was made on v1.5.1, due to my local PHP version.
Hello,
Thanks for the PR! I am a bit confused though:
https://github.com/phpro/grumphp/blob/d855145f4f7121c96bdd72866e9788abce7024d5/src/Locator/ChangedFiles.php#L56-L70
The files should never contain any deleted files to begin with. Can you tell me more on how I can reproduce the issue?
This PR :
NB: This dev was made on v1.5.1, due to my local PHP version.