dist-server

Appearance

Return to top
On this page

Removing repositories

Removing a project from the server

  1. Remove the webhook in the repository settings on GitHub.
  2. Find and delete the vhosts belonging to this repository. They should be installed in VHOST_PATH (in .env). There may be multiple vhosts: one for every 'supported branch'.
  3. Delete SSL certificates belonging to the CNAME of the repository manually using certbot (look up commands online for latest directions).
  4. Run sudo service nginx reload. The project should now be offline.
  5. Go to the install location of the dist-server (recommended: /opt/dist-server).
  6. Delete the source repository from .sources.
  7. Delete the build symlink from .builds and the directory it points to.