Skip to content
This repository has been archived by the owner on Jun 21, 2022. It is now read-only.

Deploying the website

Jump to bottom
Daniel Jiang edited this page Jul 6, 2016 · 6 revisions

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

Clone this wiki locally