#+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
- ~other~ :: Machines without a specific purpose

* 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 | Proxmox     | Description            | Deployment |
|---------+-------------+------------------------+------------|
| vm02116 | Procolix    | Forgejo                | ~git~      |
| vm02179 | Procolix    | /unused/               | ~other~    |
| vm02186 | Procolix    | /unused/               | ~other~    |
| vm02187 | Procolix    | Wiki                   | ~web~      |
| fedi300 | Fediversity | Forgejo actions runner | ~git~      |