From 946c090f7226063ea901eeeddbad09ba0cbcd3de Mon Sep 17 00:00:00 2001 From: Peter Jaszkowiak Date: Sun, 29 Jan 2023 10:28:24 -0700 Subject: [PATCH] track failed rollups and unmerged closed PRs --- data/rust-lang/rust/pr-merged.csv | 2 +- index.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/data/rust-lang/rust/pr-merged.csv b/data/rust-lang/rust/pr-merged.csv index 2cef0efd5..78ced134d 100644 --- a/data/rust-lang/rust/pr-merged.csv +++ b/data/rust-lang/rust/pr-merged.csv @@ -1,4 +1,4 @@ -"is:merged merged:{{"">1""|relative_date}} {{param}}",label:merged-by-bors|merged by bors,-label:merged-by-bors|rolled up +"is:closed closed:{{"">1""|relative_date}} {{param}}",is:merged label:merged-by-bors|merged by bors,is:merged -label:merged-by-bors|rolled up,is:unmerged label:rollup|failed rollup,is:unmerged -label:rollup|not merged 2023-01-29,8,17 2023-01-28,7,17 2023-01-27,7,37 diff --git a/index.md b/index.md index 276b6fef6..a205af7c1 100644 --- a/index.md +++ b/index.md @@ -5,6 +5,6 @@ graphs: pr-status: Pull requests status pr-activity: Last activity on pull requests pr-age: Pull requests creation dates - pr-merged: Pull requests merged + pr-merged: Pull requests closed layout: graphs ---