diff --git a/tools/clean-branches b/tools/clean-branches
old mode 100644
new mode 100755
diff --git a/tools/clean-repo b/tools/clean-repo
old mode 100644
new mode 100755
diff --git a/tools/deploy-branch b/tools/deploy-branch
old mode 100644
new mode 100755
diff --git a/tools/fetch-pull-request b/tools/fetch-pull-request
old mode 100644
new mode 100755
diff --git a/tools/fetch-rebase-pull-request b/tools/fetch-rebase-pull-request
old mode 100644
new mode 100755
diff --git a/tools/reset-to-pull-request b/tools/reset-to-pull-request
old mode 100644
new mode 100755