From 4bf47128fdd4b82ed3bade4cd7b47b047d240adf Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jan 25 2016 14:42:16 +0000
Subject: Add a title to the star to help explaining what it is/means


---

diff --git a/pagure/templates/repo_info.html b/pagure/templates/repo_info.html
index 46ec338..25325ed 100644
--- a/pagure/templates/repo_info.html
+++ b/pagure/templates/repo_info.html
@@ -207,7 +207,8 @@ git push -u origin master</pre>
                   <span class="oi" data-glyph="random"></span> {{ branch }}
                 </a>
                 {% else %}
-                <span class="oi" data-glyph="star"></span> {{ branch }}
+                <span class="oi" data-glyph="star" title="current branch">
+                </span> {{ branch }}
                 {% endif %}
                 {#
                 {% if repo_admin and branchname and branchname != head %}