Deploying the website

We are currently hosting the website on DigitalOcean.

In order to be able to push to the server, contact one of the server administrators and have them add your public SSH key to the server.

After having your public SSH key added, try: ssh dokku@<ip address>

If it worked, congrats! You can now push changes to the website by running this command from within your local copy of the website repo: git push dokku@<ip address>:website master