Add finalized FCPs to agenda

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,

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