Broke everything trying to set up git push to web server. Revert "more cleanup"

This reverts commit 6ad92e5edf11a7ef356ed268b605a1cf65b914e2.