{# The repository nav bar. Described, not written: the members and the
   reasoning are in `crate::quasi::widgets::git_nav`, which the git pages will
   embed directly as they convert. Expects `refs`, `owner`, `repo_name`,
   `current_ref`, `active_tab`, `open_issue_count` and `is_owner`. #}
{{ crate::quasi::widgets::git_nav::html(&crate::quasi::widgets::git_nav::Nav {
    owner: owner,
    repo: repo_name,
    current_ref: current_ref,
    active_tab: active_tab,
    open_issue_count: *open_issue_count,
    is_owner: *is_owner,
    refs: refs,
})|safe }}