From da8aaa2640991506e99b3a3f9d8f555c70fe5e1c Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Sep 24 2018 18:42:02 +0000
Subject: Document repoSpanner in its tab in the settings


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

---

diff --git a/pagure/templates/settings_repospanner.html b/pagure/templates/settings_repospanner.html
index b016e2f..f15f66f 100644
--- a/pagure/templates/settings_repospanner.html
+++ b/pagure/templates/settings_repospanner.html
@@ -3,11 +3,18 @@
 </h3>
 <div class="row">
   <div class="col">
+    <p>
+      <a href="https://repospanner.org">repoSpanner</a> is
+      a distributed git storage server allowing to keep in sync multiple git
+      repositories in multiple locations.
+    </p>
+    <p>
     {% if repo.is_on_repospanner %}
       This repository is on repoSpanner region {{ repo.repospanner_region }}
     {% else %}
       This repository is NOT yet on repoSpanner
       {% if pagure_admin and config.get('REPOSPANNER_ADMIN_MIGRATION') %}
+    </p>
   </div>
 </div>
 <div class="row">