modified production script, but it's untested; still need to add SSH key for github