»

        %endfor

        ${h.link_to(c.db_repo.just_name, url('summary_home', repo_name=c.db_repo.repo_name), class_='navbar-link')}

        %if current == 'createfork':

         - ${_('Create Fork')}

        %endif

      </div>

      <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#context-pages" aria-expanded="false">

        <span class="sr-only">Toggle navigation</span>

        <span class="icon-bar"></span>

        <span class="icon-bar"></span>

        <span class="icon-bar"></span>

      </button>

    </div>

    <ul id="context-pages" class="nav navbar-nav navbar-right navbar-collapse collapse">

        <li class="${'active' if current == 'summary' else ''}" data-context="summary"><a href="${h.url('summary_home', repo_name=c.repo_name)}"><i class="icon-doc-text"></i> ${_('Summary')}</a></li>

        %if rev:

        <li class="${'active' if current == 'changelog' else ''}" data-context="changelog"><a href="${h.url('changelog_file_home', repo_name=c.repo_name, revision=rev, f_path='')}"><i class="icon-clock"></i> ${_('Changelog')}</a></li>

        %else:

        <li class="${'active' if current == 'changelog' else ''}" data-context="changelog"><a href="${h.url('changelog_home', repo_name=c.repo_name)}"><i class="icon-clock"></i> ${_('Changelog')}</a></li>

        %endif

        <li class="${'active' if current == 'files' else ''}" data-context="files"><a href="${h.url('files_home', repo_name=c.repo_name, revision=rev or 'tip')}"><i class="icon-doc-inv"></i> ${_('Files')}</a></li>

        <li class="${'active' if current == 'switch-to' else ''}" data-context="switch-to">

          <input id="branch_switcher" name="branch_switcher" type="hidden">

        </li>

        <li class="${'active' if current == 'options' else ''} dropdown" data-context="options">

             %if h.HasRepoPermissionLevel('admin')(c.repo_name):

               <a href="${h.url('edit_repo',repo_name=c.repo_name)}" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false" aria-haspopup="true"><i class="icon-wrench"></i> ${_('Options')} <i class="navbar-caret"></i></a>

             %else:

               <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false" aria-haspopup="true"><i class="icon-wrench"></i> ${_('Options')} <i class="navbar-caret"></i></a>

             %endif

          <ul class="dropdown-menu" role="menu" aria-hidden="true">

             %if h.HasRepoPermissionLevel('admin')(c.repo_name):

                   <li><a href="${h.url('edit_repo',repo_name=c.repo_name)}"><i class="icon-gear"></i> ${_('Settings')}</a></li>

             %endif

              %if c.db_repo.fork:

               <li><a href="${h.url('compare_url',repo_name=c.db_repo.fork.repo_name,org_ref_type=c.db_repo.landing_rev[0],org_ref_name=c.db_repo.landing_rev[1], other_repo=c.repo_name,other_ref_type='branch' if request.GET.get('branch') else c.db_repo.landing_rev[0],other_ref_name=request.GET.get('branch') or c.db_repo.landing_rev[1], merge=1)}">

                   <i class="icon-git-compare"></i> ${_('Compare Fork')}</a></li>

              %endif

              <li><a href="${h.url('compare_home',repo_name=c.repo_name)}"><i class="icon-git-compare"></i> ${_('Compare')}</a></li>

              <li><a href="${h.url('search_repo',repo_name=c.repo_name)}"><i class="icon-search"></i> ${_('Search')}</a></li>

              %if h.HasRepoPermissionLevel('write')(c.repo_name) and c.db_repo.enable_locking:

                %if c.db_repo.locked[0]:

                  <li><a href="${h.url('toggle_locking', repo_name=c.repo_name)}"><i class="icon-lock"></i> ${_('Unlock')}</a></li>

                %else:

                %endif

              %endif

              ## TODO: this check feels wrong, it would be better to have a check for permissions

              ## also it feels like a job for the controller

              %if request.authuser.username != 'default':

                  <li>

                   <a href="#" class="${'following' if c.repository_following else 'follow'}" onclick="toggleFollowingRepo(this, ${c.db_repo.repo_id});">

                    <span class="show-follow"><i class="icon-heart-empty"></i> ${_('Follow')}</span>

                    <span class="show-following"><i class="icon-heart"></i> ${_('Unfollow')}</span>

                   </a>

                  </li>

                  <li><a href="${h.url('repo_fork_home',repo_name=c.repo_name)}"><i class="icon-git-pull-request"></i> ${_('Fork')}</a></li>

                  <li><a href="${h.url('pullrequest_home',repo_name=c.repo_name)}"><i class="icon-git-pull-request"></i> ${_('Create Pull Request')}</a></li>

              %endif

             </ul>

        </li>

        <li class="${'active' if current == 'showpullrequest' else ''}" data-context="showpullrequest">

          <a href="${h.url('pullrequest_show_all',repo_name=c.repo_name)}" title="${_('Show Pull Requests for %s') % c.repo_name}"> <i class="icon-git-pull-request"></i> ${_('Pull Requests')}

            %if c.repository_pull_requests:

              <span class="badge">${c.repository_pull_requests}</span>

            %endif

          </a>

        </li>

    </ul>

  </nav>

  <script type="text/javascript">

    $(document).ready(function() {

      var bcache = {};

      $("#branch_switcher").select2({

          placeholder: '<i class="icon-exchange"></i> ' + ${h.jshtml(_('Switch To'))} + ' <span class="navbar-caret"></span>',

          dropdownAutoWidth: true,

          sortResults: prefixFirstSort,

          formatResult: function(obj) {

              return obj.text;

          },

          formatSelection: function(obj) {

              return obj.text;

          },

          formatNoMatches: function(term) {

              return ${h.jshtml(_('No matches found'))};

          },

          escapeMarkup: function(m) {

              // don't escape our custom placeholder

              if (m.substr(0, 25) == '<i class="icon-exchange">') {

                  return m;

              }