Jason2866
diff --git a/‎tools/check-deploy-needed.sh‎
100644100755 b/‎tools/check-deploy-needed.sh‎
100644100755
diff --git a/‎tools/current_commit.sh‎
100644100755 b/‎tools/current_commit.sh‎
100644100755
diff --git a/‎tools/install-arduino.sh‎
100644100755 b/‎tools/install-arduino.sh‎
100644100755
diff --git a/‎tools/push-to-arduino.sh‎
100644100755 b/‎tools/push-to-arduino.sh‎
100644100755
diff --git a/‎tools/repository_dispatch.sh‎
100644100755 b/‎tools/repository_dispatch.sh‎
100644100755