Added a script to make my three servers pull in the new changes.

push.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+places="nicholas@ntietz.com ntietz@neptune.cs.kent.edu ntietz@acm.cs.kent.edu"
+
+for each in $places
+do
+    echo "Updating on $each..."
+    ssh $each "cd ~/Repositories/config; git pull"
+    echo "Done."
+done
+