#+title: Infra

This directory contains the definition of the VMs that host our infrastructure.
Their configuration can be updated via NixOps4. Run

#+begin_src sh
nixops4 deployments list
#+end_src

to see the available deployments. Given a deployment (eg. ~git~), run

#+begin_src sh
nixops4 apply <deployment>
#+end_src

* Deployments

- ~git~ :: Machines hosting our Git infrastructure, eg. Forgejo and its actions
  runners
- ~web~ :: Machines hosting our online content, eg. the website or the wiki

* Procolix machines

These machines are hosted on the Procolix Proxmox instance, to which
non-Procolix members of the project do not have access. They host our stable
infrastructure.

| Machine | Description            | Deployment |
|---------+------------------------+------------|
| vm02116 | Forgejo                | ~git~        |
| vm02179 | Forgejo actions runner | ~git~        |
| vm02186 | Forgejo actions runner | ~git~        |
| vm02187 | Wiki                   | ~web~        |