From 3112e97afecc8c0b61a9d623d39ebb1637fe516d Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Jun 02 2015 12:20:18 +0000
Subject: Link the page listing all tags to the main repo menu


---

diff --git a/pagure/templates/repo_master.html b/pagure/templates/repo_master.html
index 3622dc1..70c8203 100644
--- a/pagure/templates/repo_master.html
+++ b/pagure/templates/repo_master.html
@@ -54,6 +54,11 @@
                    repo=repo.name, identifier=branchname) }}">Tree</a>
       </li>
 
+      <li {% if select == 'tags' %}class="selected" {% endif %}>
+        <a href="{{ url_for('view_tags', username=username,
+                   repo=repo.name) }}">Tags</a>
+      </li>
+
       {% if repo.settings.get('issue_tracker', True) %}
       <li {% if select == 'issues' %}class="selected" {% endif %}>
           <a href="{{ url_for('view_issues', username=username,