src: add menu to manage repos

The menu includes a list of the repos of each server. The user can
select a server or a repo to make changes.

As of now, the only action possible is to add a repo to selected
server.

The work contained in this commit can be structured in:

1. Add the repos menu:
- Add a 'repos' button in the menus bar (base.html).
- Add repos.html template to create the management repos menu.
- In ogcp.js, add function to store in browser's local storage which
  elements of the sidebar are uncollapsed. This saves the sidebar state
  after a page refresh.
- Add manage_repos() in views.py

2. Allow to add a repo:
- Add template with form to add a repo (repos_details.html)
- Create RepoForm(FlaskForm) in action_forms.py
- Add repo_add_get() and repo_add_post() in views.py

1 files changed, 3 insertions, 0 deletions

diff --git a/ogcp/templates/base.html b/ogcp/templates/base.html
index a7e8b94..8ef8f3a 100644
--- a/ogcp/templates/base.html
+++ b/ogcp/templates/base.html
@@ -37,6 +37,9 @@
                     <li class="nav-item {% block nav_scopes%}{% endblock %}">
                         <a class="nav-link" href="{{ url_for('scopes') }}">{{ _('Scopes management') }}</a>
                     </li>
+                    <li class="nav-item {% block nav_repos %}{% endblock %}">
+                        <a class="nav-link" href="{{ url_for('manage_repos') }}">{{ _('Repos') }}</a>
+                    </li>
                     <li class="nav-item {% block nav_servers %}{% endblock %}">
                         <a class="nav-link" href="{{ url_for('manage_servers') }}">{{ _('Servers') }}</a>
                     </li>