@esther @mcc that's because git is a versioning system and follows unix-esque KISS principle.
It doesn't have any knowledge of what a file extension is.
Usually some [partly commercialized] version systems & management platforms like #GitLab and #gitea should have some options to do so - similar to branch protection...