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>

Check the staff wiki for the 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

Note: If you try accessing the server but you get prompted for the server's password, then that means that adding your public SSH key may not have worked. However, this issue can also come up if you are trying to access the server from within a virtual machine (like Axiom).