# TODO: master deployment script
# See SPEC.md for full specification