Deployment procedures

For #3