2022.09.06 || #resource #gitGit: Delete file after ignoring itDelete a file tracked by git after adding it to the .gitignore file