From 0b89d8443df472ea8ed6ead08f59824a5d814f76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Thu, 11 Apr 2024 14:11:22 -0400
Subject: [PATCH] mirror tor-nagios to GitLab (tpo/tpa/team#41574)

---
 howto/nagios.md | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/howto/nagios.md b/howto/nagios.md
index cb18c4a6..06362a66 100644
--- a/howto/nagios.md
+++ b/howto/nagios.md
@@ -20,7 +20,7 @@ Nagios/Icinga service for Tor Project infrastructure
 ## Changing the Nagios configuration
 
 Hosts and services are managed in the `config/nagios-master.cfg` YAML
-configuration file, kept in the `admin/tor-nagios.git`
+configuration file, kept in the `nagiosadm@nagios.torproject.org:/home/nagiosadm/tor-nagios`
 repository. Make changes with a normal text editor, commit and push:
 
     $EDITOR config/nagios-master.cfg
@@ -132,7 +132,7 @@ the service administrator, which should be contacted for followup.
 
 The Nagios/Icinga configuration gets generated from the
 `config/nagios-master.cfg` YAML configuration file stored in the
-`admin/tor-nagios.git` repository. The generation works like this:
+`tor-nagios.git` repository. The generation works like this:
 
  1. operator pushes changes to the git repository on the Nagios server
     (in `/home/nagiosadm/tor-nagios`)
@@ -149,4 +149,7 @@ The Nagios/Icinga configuration gets generated from the
  5. pushes the NRPE config to the [Puppet server](puppet) in
     `nagiospush@pauli.torproject.org:/etc/puppet/modules/nagios/files/tor-nagios/generated/nrpe_tor.cfg`
 
- 6. and finally reloads Incinga
+ 6. reloads Incinga
+
+ 7. and finally mirrors the repository to GitLab
+    (<https://gitlab.torproject.org/tpo/tpa/tor-nagios>)
-- 
GitLab