Add ffcps for forge

src/agenda.rs

@@ -136,6 +136,20 @@ pub fn prioritization<'a>() -> Box<dyn Action> {
         },
     });
 
+    queries.push(QueryMap {
+        name: "fcp_finished_forge",
+        query: github::Query {
+            kind: github::QueryKind::List,
+            filters: vec![("state", "open")],
+            include_labels: vec![
+                "finished-final-comment-period",
+                "disposition-merge",
+                "to-announce",
+            ],
+            exclude_labels: vec![],
+        },
+    });
+
     actions.push(Query {
         repo: "rust-lang/rust-forge",
         queries,

templates/prioritization_agenda.tt

@@ -27,6 +27,7 @@ tags: weekly, rustc
 - Finalized FCPs (disposition merge)
 {{-issues::render(issues=fcp_finished_compiler_team, indent="  ", empty="No new finished FCP (disposition merge) this time.")}}
 {{-issues::render(issues=fcp_finished_rust, indent="  ", empty="No new finished FCP (disposition merge) this time.")}}
+{{-issues::render(issues=fcp_finished_forge, indent="  ", empty="No new finished FCP (disposition merge) this time.")}}
 
 ### WG checkins