From 1401de2e7da72f4d8c0d6a85cf9d03554b5968b1 Mon Sep 17 00:00:00 2001 From: David Baker Date: Tue, 8 Nov 2016 17:09:44 +0000 Subject: [PATCH] Move the jenkins / redeploy scripts to scripts While we're breaking things anyway --- jenkins.sh => scripts/jenkins.sh | 0 {deploy => scripts}/redeploy.py | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename jenkins.sh => scripts/jenkins.sh (100%) rename {deploy => scripts}/redeploy.py (100%) diff --git a/jenkins.sh b/scripts/jenkins.sh similarity index 100% rename from jenkins.sh rename to scripts/jenkins.sh diff --git a/deploy/redeploy.py b/scripts/redeploy.py similarity index 100% rename from deploy/redeploy.py rename to scripts/redeploy.py