diff --git a/bin/create-on-github.py b/bin/create-on-github.py old mode 100644 new mode 100755 diff --git a/bin/force-sync-github.sh b/bin/force-sync-github.sh old mode 100644 new mode 100755 diff --git a/bin/sync-to-github.sh b/bin/sync-to-github.sh old mode 100644 new mode 100755