The following command adds user execute permission to an arbitrary file: git update-index --chmod=+x <file>