diff --git a/src/prioritization.rs b/src/prioritization.rs index 72429b68e..121a0d98b 100644 --- a/src/prioritization.rs +++ b/src/prioritization.rs @@ -308,6 +308,16 @@ pub fn agenda<'a>() -> Box> { }, }); + 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 0ba7152a1..be695a083 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