From 28eb6f2d5abdea3f9f654b0d250af2547cc3559a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Wed, 2 Jun 2021 16:13:59 -0400
Subject: [PATCH] add machine list to sidebar and home page main listing
This was already in the home page, but not prominent. Makes sense to
have it in the main sidebar, and since those are in sync...
---
_sidebar.md | 1 +
home.md | 5 ++---
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/_sidebar.md b/_sidebar.md
index a0287a38..0b0692c9 100644
--- a/_sidebar.md
+++ b/_sidebar.md
@@ -4,6 +4,7 @@
* [User documentation](doc)
* [Sysadmin howtos](howto)
* [Services](service)
+ * [Machine list](https://db.torproject.org/machines.cgi)
* [Policies](policy)
* [Meetings](meeting)
* [Roadmaps](roadmap)
diff --git a/home.md b/home.md
index 46c27263..5602d3a2 100644
--- a/home.md
+++ b/home.md
@@ -12,6 +12,8 @@ The documentation is split into the following sections:
and the general public
* [How to](howto) - procedures specifically written for sysadmins
* [Services](service) - service documentation
+ * [Machine list](https://db.torproject.org/machines.cgi) - the full
+ list of machines managed by TPA (in LDAP)
* [Policies](policy) - major decisions and how they are made
* [Meetings](meeting) - minutes from our formal meetings
* [Roadmaps](roadmap) - documents our plans for the future (and past
@@ -23,9 +25,6 @@ To contact us, see, [how to get help!][]
[how to get help!]: policy/tpa-rfc-2-support#how-to-get-help
-For a list of services and which servers they run on check
-[ud-ldap](https://db.torproject.org/machines.cgi).
-
For our source code, look at [gitweb](https://gitweb.torproject.org/)
for things under `admin/`.
--
GitLab