Use Gitlab CI to build and update https://rbm.torproject.org/
The documentation on https://rbm.torproject.org/ is currently manually built from the doc
directory and uploaded. We can maybe use Gitlab CI to do it automatically.
The documentation on https://rbm.torproject.org/ is currently manually built from the doc
directory and uploaded. We can maybe use Gitlab CI to do it automatically.