olamy commented on PR #11806:
URL: https://github.com/apache/maven/pull/11806#issuecomment-4071673435

   > weird, did that used to be part of the checkout? but if so why didn't a 
pull pick up the deletion?
   
   no idea how you work with git. 
   but `git checkout` or `git switch` doesn't clean ide directories or even any 
created directories not part of the sources
   
   Git is very protective of your local work. It will remove files that were 
part of the previous branch's history, but it will not touch files or 
directories you created manually that haven't been staged or committed.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to