This script is designed to change the execute permission for the owner of a file and add, commit, and push the changes to a remote repository on GitHub.
The script takes in one argument, the name of the file you want to change the execute permission for.
./script filename