Since I needed it today, you get to have a refresher on how to change file permissions in #Git on #Windows.
Reveal/hide
git update-index --chmod=+x path/to/file
How to change file permissions in Git on Windows | Adam Dimech's Coding Blog
Make a Git repository file on a local Windows machine executable by changing the CHMOD value, which can be transferred to the repository following a push.code.adonline.id.au