mirror tor-nagios to GitLab (team#41574)

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>)