Example: mix push 'code'
Miki: Add as a project dependency? Paul: yes Miki: Script to start with? James: Seconded Paul: agree, at least to start with.
Use AWS? Digital Ocean?
How to push the repo?
'git archive?'
'git push/pull?'
pushing a repo --- permissions?
Workflow: archive Connect copy archive to remote expand archive on remote