Enhanced the push_to_github.sh script