Am 05.12.18 um 23:43 schrieb Gavin Lambert via Boost:
GitHub doesn't allow running scripts on their servers.
You can write a webhook to run a script on a different server. But at best this could yell at someone after the fact; it can't prevent accepting a push (although it can mark a pull request as invalid -- that's how the CI hooks in).
Simply do it in CI. All Boost builds are run (at least) on travis, right? So all you need is a simple shell script (or a one-liner in .travis.yml) that finds executable files with a forbidden suffix and returns a message and error status code when found. This will block all PRs and also flag commits pushed directly. Client-side hooks are worthless for that as you can't force everyone to install them.