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

[Kevin Rushforth]

On 9/21/2021 11:02 AM, Severin Gehwolf wrote:
> 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?

Yes, they are typically pushed directly, and don't go through a GitHub 
workflow, so it might still be a feasible suggestion to make what is 
currently a warning, and integration blocker.

-- Kevin


>
> Thanks,
> Severin
>