100755 blob 51faed14efc5ddacfdbbc16619fedc6bf18b36bc	deploy.sh
100755 blob 8c5b7dd01fc4eeb9536c06e128d796e36034f783	grid
100755 blob fc5979bb92f2ed8a15eb29fcd3d4e5d43f7f10c5	merge-pull-request.py
100755 blob 826bf4ec76d62771828b1e2209f09b2a81fe49d6	produce-wikipedia-raw-data.sh
100755 blob 8cd2463ca5e93f0267b93792b0a06a8c602a214f	run-azure-application.sh
100755 blob 6feea5217b8a982be50961ada08eebc6118af1ac	run-wikipedia-zk-application.sh