From 14eabdfbd5dc80c7ac63da0c099ece2869ba9dbe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sybren=20A=2E=20St=C3=BCvel?= <sybren@stuvel.eu>
Date: Thu, 29 Sep 2016 16:26:23 +0200
Subject: [PATCH] Added dummy deploy script for people with a 'git pp' alias.

---
 deploy.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 deploy.sh

diff --git a/deploy.sh b/deploy.sh
new file mode 100755
index 0000000..e4783f7
--- /dev/null
+++ b/deploy.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+echo
+echo "==========================================================================="
+echo "Dummy deploy script for people with a 'git pp' alias to push to production."
+echo "Run deploy script on your server project."
+echo "When done, press [ENTER] to stop this script."
+read dummy