From 036d342cd102c8e9c2d256421cd16221c7e6de02 Mon Sep 17 00:00:00 2001
From: Konrad Bucheli <konrad.bucheli@psi.ch>
Date: Thu, 8 Dec 2022 10:42:28 +0100
Subject: [PATCH] add a link to the Puppet Dashboard

---
 admin-guide/puppet.rst | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/admin-guide/puppet.rst b/admin-guide/puppet.rst
index 30a0c21e..8a0bb7e5 100644
--- a/admin-guide/puppet.rst
+++ b/admin-guide/puppet.rst
@@ -1,7 +1,10 @@
 Puppet
 ======
 
-Puppet documentation goes here.
+`Puppet <https://puppet.com/docs/puppet>`_ is the *configuration management system* used to configure the hosts.
+
+Our `Puppet Dashboard <https://puppet01.psi.ch/puppetboard>`_ gives an overview over all systems managed using Puppet at PSI.
+
 
 Contents: