Is it possible to change the executable flag (which is the only file permission that git supports) of a file through the GitHub web interface? Of course, it can be done from the command line, but I was wondering if/how it can be done through the web interface.