From c41afb2b511c76b4c414997eb59d13745132b182 Mon Sep 17 00:00:00 2001 From: Elias Rohrer Date: Fri, 28 Mar 2025 10:50:02 +0100 Subject: [PATCH 1/2] Add `repo_name` to reviewer dashboard Since the dashboard now features multiple repositories, we add the `repo_name` in front of the PR number. --- app.py | 4 ++-- templates/reviewer_dashboard.html | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/app.py b/app.py index 1abba76..b6e42ed 100644 --- a/app.py +++ b/app.py @@ -151,10 +151,10 @@ def reviewer_dashboard(): reviewers[reviewer]['total_duration'] += review_duration reviewers[reviewer]['total_reviews'] += 1 if prs[review.pr_number].status != PRStatus.CLOSED: - reviewers[reviewer]['assigned_prs'].add((review.pr_number, prs[review.pr_number].pr_title)) + reviewers[reviewer]['assigned_prs'].add((review.repo_name, review.pr_number, prs[review.pr_number].pr_title)) else: reviewers[reviewer]['pending_reviews'].append(review) - reviewers[reviewer]['assigned_prs'].add((review.pr_number, prs[review.pr_number].pr_title)) + reviewers[reviewer]['assigned_prs'].add((review.repo_name, review.pr_number, prs[review.pr_number].pr_title)) for reviewer in reviewers: review_count = reviewers[reviewer]['total_reviews'] diff --git a/templates/reviewer_dashboard.html b/templates/reviewer_dashboard.html index 0c0525d..74c6fe3 100644 --- a/templates/reviewer_dashboard.html +++ b/templates/reviewer_dashboard.html @@ -85,7 +85,7 @@

Reviewer Dashboard

Pending Reviews

{% for review in data.pending_reviews %}
- PR #{{ review.pr_number }} - {{review.pr_title}} + #{{ review.repo_name }} #{{ review.pr_number }} - {{review.pr_title}}
Waiting for: {{ review.review_duration_hours }} hours
@@ -98,7 +98,7 @@

Pending Reviews

Assigned PRs

{% for pr in data.assigned_prs %}
- PR #{{ pr.0 }} - {{pr.1}} + {{ pr.0 }} #{{ pr.1 }} - {{pr.2}}
{% endfor %} @@ -109,7 +109,7 @@

Assigned PRs

Recent Completed Reviews

{% for review in data.completed_reviews[:10] %}
- PR #{{ review.pr_number }} - {{review.pr_title}} + {{ review.repo_name }} #{{ review.pr_number }} - {{review.pr_title}}
Completed in: {{ review.review_duration_hours }} hours
From 3c78547808f38b0b6cc758985f57db48bbf4a085 Mon Sep 17 00:00:00 2001 From: Elias Rohrer Date: Fri, 28 Mar 2025 10:57:07 +0100 Subject: [PATCH 2/2] Add links to PRs in dashboard .. to allow clicking on them --- templates/reviewer_dashboard.html | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/templates/reviewer_dashboard.html b/templates/reviewer_dashboard.html index 74c6fe3..821de9a 100644 --- a/templates/reviewer_dashboard.html +++ b/templates/reviewer_dashboard.html @@ -85,7 +85,9 @@

Reviewer Dashboard

Pending Reviews

{% for review in data.pending_reviews %}
- #{{ review.repo_name }} #{{ review.pr_number }} - {{review.pr_title}} + + #{{ review.repo_name }} #{{ review.pr_number }} - {{review.pr_title}} +
Waiting for: {{ review.review_duration_hours }} hours
@@ -98,7 +100,9 @@

Pending Reviews

Assigned PRs

{% for pr in data.assigned_prs %}
- {{ pr.0 }} #{{ pr.1 }} - {{pr.2}} + + {{ pr.0 }} #{{ pr.1 }} - {{pr.2}} +
{% endfor %} @@ -109,7 +113,9 @@

Assigned PRs

Recent Completed Reviews

{% for review in data.completed_reviews[:10] %}
- {{ review.repo_name }} #{{ review.pr_number }} - {{review.pr_title}} + + {{ review.repo_name }} #{{ review.pr_number }} - {{review.pr_title}} +
Completed in: {{ review.review_duration_hours }} hours