Add finalized FCPs to agenda

rust-lang · Jul 9, 2020 · 487da02 · 487da02
1 parent 4bacbe0
commit 487da02
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git 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
@@ -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