From 15998399563d55e7bcf9a7293ace50641001d1ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20H=C3=B6nig?= Date: Wed, 27 Dec 2017 10:54:11 +0100 Subject: [PATCH] Make git utility scripts executable. --- tools/clean-branches | 0 tools/clean-repo | 0 tools/deploy-branch | 0 tools/fetch-pull-request | 0 tools/fetch-rebase-pull-request | 0 tools/reset-to-pull-request | 0 6 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/clean-branches mode change 100644 => 100755 tools/clean-repo mode change 100644 => 100755 tools/deploy-branch mode change 100644 => 100755 tools/fetch-pull-request mode change 100644 => 100755 tools/fetch-rebase-pull-request mode change 100644 => 100755 tools/reset-to-pull-request 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