diff --git a/git-tools/setup_github_network.php b/git-tools/setup_github_network.php
old mode 100644
new mode 100755
index 08e99e2f32..80cc62df8a
--- a/git-tools/setup_github_network.php
+++ b/git-tools/setup_github_network.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /**
 *