From a054245c49252525b41f0e549a8a0a803bbf95d7 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Mar 22 2017 08:42:49 +0000
Subject: Add a Tips and tricks section to the pagure-ci doc


And the first trick is how to manually re-trigger a run of pagure-ci

---

diff --git a/doc/usage/pagure_ci.rst b/doc/usage/pagure_ci.rst
index 8176c5b..046fe66 100644
--- a/doc/usage/pagure_ci.rst
+++ b/doc/usage/pagure_ci.rst
@@ -17,3 +17,14 @@ Contents:
    :maxdepth: 2
 
    pagure_ci_jenkins
+
+
+Tips and tricks
+---------------
+
+* How to re-trigger a run of pagure-ci on a pull-request?
+
+To manually trigger a run of pagure-ci on a given pull-request, simply add
+a comment saying: ``pretty please pagure-ci rebuild``.
+
+.. note:: To always have this handy, you can save it in the ``Quick Replies``!