Great observation, Emmanuel! Thanks for commenting.

That’s a good way to automate the process of preventing certain files from being pushed to a git repo.