This repository has been archived by the owner on Jun 21, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 47
Deploying the website
Jonathan Lee edited this page Nov 27, 2018
·
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>
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).