From 6d3b8f1d4bd0dfdc06f1698420575e2229cf6f16 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Aug 01 2017 15:29:37 +0000
Subject: Improve the pagure SOP with an useful commands section


Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>

---

diff --git a/docs/sysadmin-guide/sops/pagure.rst b/docs/sysadmin-guide/sops/pagure.rst
index 0482272..4d1bd02 100644
--- a/docs/sysadmin-guide/sops/pagure.rst
+++ b/docs/sysadmin-guide/sops/pagure.rst
@@ -66,3 +66,16 @@ Services and what they do
 * pagure_milter processes email actions. 
 * pagure_webhook service processes webhooks to notify about changes. 
 * pagure worker service updates git repos with changes. 
+
+Useful commands
+===============
+
+This section lists commands that can be useful to fix issues encountered every
+once in a while.
+
+* Recompile the gitolite configuration file
+
+  ::
+
+  # sudo -u git HOME=/srv/git/ gitolite compile && sudo -u git HOME=/srv/git/ gitolite trigger POST_COMPILE
+