From d0b52edacec6a01b65b86b0e8bb5575470f1a775 Mon Sep 17 00:00:00 2001 From: Sumner Evans Date: Thu, 20 May 2021 13:17:29 -0600 Subject: Add title to PR information display Also refactor MergeInfo -> PrInfo. Reviewed-by: Alyssa Ross Tested-by: Alyssa Ross --- templates/page.html | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) (limited to 'templates') diff --git a/templates/page.html b/templates/page.html index d433e41..404977b 100644 --- a/templates/page.html +++ b/templates/page.html @@ -1,12 +1,18 @@ + {% match pr_number %} {%- when Some with (pr_number) -%} + {% match pr_title %} + {%- when Some with (pr_title) -%} + Nixpkgs PR #{{ pr_number }} ("{{ pr_title }}") progress + {%- else -%} Nixpkgs PR #{{ pr_number }} progress + {%- endmatch -%} {%- else -%} Nixpkgs PR progress tracker {% endmatch %} @@ -179,8 +185,13 @@ ✅ {%- endif -%} PR #{{ pr_number }} - {%- if closed -%} - closed + {% match pr_title %} + {%- when Some with (pr_title) -%} + ("{{ pr_title }}") + {%- else -%} + {%- endmatch -%} + {% if closed -%} + (closed) {%- endif -%} -- cgit 1.4.1