bitter-ability-32190
06/05/2023, 1:51 AMbroad-processor-92400
06/05/2023, 1:55 AMbitter-ability-32190
06/05/2023, 1:56 AMhappy-kitchen-89482
06/05/2023, 2:12 AMbitter-ability-32190
06/05/2023, 2:14 AMhappy-kitchen-89482
06/05/2023, 2:41 AMhappy-kitchen-89482
06/05/2023, 2:42 AMbroad-processor-92400
06/05/2023, 2:59 AMYeah, we could remove the original milestone as well, so there aren't duplicates?Do you mean removing it from the original issue and/or PRs? I think once a cherry-pickable PR has merged, both of those will be closed, and thus disappear from the (default) milestone view automatically, and the cherrypicked PR is the only record that there's pending work. (strongly agree that cherrypicks should run CI pre-merge: https://graydon2.dreamwidth.org/1597.html)
bitter-ability-32190
06/05/2023, 10:55 AMbitter-ability-32190
06/05/2023, 2:42 PMhappy-kitchen-89482
06/05/2023, 4:30 PMbitter-ability-32190
06/05/2023, 4:33 PMwitty-crayon-22786
06/05/2023, 6:25 PMhappy-kitchen-89482
06/05/2023, 6:53 PMwitty-crayon-22786
06/05/2023, 6:55 PMhappy-kitchen-89482
06/05/2023, 7:18 PMhappy-kitchen-89482
06/05/2023, 7:18 PMbitter-ability-32190
06/05/2023, 7:19 PMbitter-ability-32190
06/05/2023, 7:24 PMhappy-kitchen-89482
06/05/2023, 7:29 PMhappy-kitchen-89482
06/05/2023, 7:29 PMbroad-processor-92400
06/05/2023, 11:46 PM