diff --git a/utils/pull_subtrees.sh b/utils/pull_subtrees.sh old mode 100644 new mode 100755