Deployment system: add necessary files

deployment-script.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+echo "Deployment script for repository \"web-deployment\"
+`date`
+=============================================================================="
+
+# If there are any commands that need to be executed when deploying,
+# add them to this script. Feel free to make the commands really verbose
+# as this is also used for logging.
+
+echo "==============================================================================
+Done."