From 487da027235842bdae55eb55de938db5608db214 Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Thu, 9 Jul 2020 11:18:35 -0300
Subject: [PATCH] Add finalized FCPs to agenda

---
 src/prioritization.rs | 10 ++++++++++
 templates/agenda.tt   |  2 ++
 2 files changed, 12 insertions(+)

diff --git a/src/prioritization.rs b/src/prioritization.rs
index 72429b68..121a0d98 100644
--- a/src/prioritization.rs
+++ b/src/prioritization.rs
@@ -308,6 +308,16 @@ pub fn agenda<'a>() -> Box<Step<'a>> {
         },
     });
 
+    queries.push(QueryMap {
+        name: "fcp_finished",
+        query: github::Query {
+            kind: github::QueryKind::List,
+            filters: vec![("state", "open")],
+            include_labels: vec!["finished-final-comment-period", "disposition-merge"],
+            exclude_labels: vec![],
+        },
+    });
+
     actions.push(Query {
         repo: "rust-lang/rust",
         queries,
diff --git a/templates/agenda.tt b/templates/agenda.tt
index 0ba7152a..be695a08 100644
--- a/templates/agenda.tt
+++ b/templates/agenda.tt
@@ -24,6 +24,8 @@ tags: weekly, rustc
 {{-issues::render(issues=in_fcp_forge, indent="    ", empty="No FCP requests on forge repo this time.")}}
 - Accepted MCPs
 {{-issues::render(issues=mcp_accepted, indent="    ", empty="No new accepted proposals this time.")}}
+- Finalized FCPs
+{{-issues::render(issues=fcp_finished, indent="    ", empty="No new finished FCP this time.")}}
 
 ### WG checkins