closed bug in jdk: 8272867: JFR: ManagementSupport.removeBefore() lost coverage

[Severin Gehwolf]

On Tue, 2021-09-21 at 10:15 -0700, Joseph D. Darcy wrote:
> On 9/21/2021 10:06 AM, Severin Gehwolf wrote:
> > On Tue, 2021-09-21 at 16:33 +0000, Lindenmaier, Goetz wrote:
> > > Hi
> > > 
> > > A change with a closed bug was pushed to jdk.
> > > Could this please be opened up?
> > > 
> > I thought the point of skara was to fix issues like this? I see this
> > was the PR:
> > https://github.com/openjdk/jdk/pull/5453
> > 
> > Would it be possible to make "Failed to retrieve information on issue
> > 8272867" an actual integration blocker by the bots? Or would that not
> > work for some corner-case I'm missing.
> 
> That would not work for any of the fixes to security issues.

Aren't they pushed directly? Would these go through the PR workflow?

Thanks,
Severin