{% extends "layout.html" %} {% block content %}

Admin

Pull Requests

Open and merged GitHub PRs tracked by Governor.

{# Filters row: project filter + sort dropdown #}
{# Project filter #}
{# Sort dropdown #}
{# PR table #} {% if prs and prs | length > 0 %}
{% for pr in prs %} {% endfor %}
PR Repository Status Opened Merged
#{{ pr.pr_number }} {{ pr.repository }} {{ pr.status }} {{ pr.created_at.strftime('%d %b %Y %H:%M') if pr.created_at else '-' }} {{ pr.merged_at.strftime('%d %b %Y %H:%M') if pr.merged_at else '-' }}
{# Pagination #} {% if pagination and pagination.total_pages > 1 %}

Showing {{ pagination.start_index }}–{{ pagination.end_index }} of {{ pagination.total_items }}

{% endif %} {% else %}

No merged pull requests found.

{% endif %}
{% endblock %}