tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: PR#31110 may be closed



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello,

On Apr 14, 2008, at 00:09, David Holland wrote:
On Wed, Apr 02, 2008 at 11:04:48PM -0400, Michael Lorenz wrote:
Someone else might be able to, though. Conceivably. It's best to leave such PRs open, at least when there's enough info for someone else with the right hardware to try reproducing the problem, because if the bug
still exists it's better to get it fixed.

[...]

(Arguably the bug database should have a special state for such PRs,
so they can be found easily. I'm still working on convincing everyone
else.)

I thought that's what 'dead' is for.

"dead" is not the right name for a state where we would like people to
come along and pick the bug up for testing or hacking.

True.

I believe dead is intended for issues where there *isn't* enough info
for anyone else to try reproducing the problem. There is nothing that
can be done about such reports when the original submitter evaporates.

Or none of us can actually test if the bug's fixed for lack of hardware, which is the case with at least some of those I marked dead.

(Furthermore, there are only three PRs marked dead, and two of them
I'd be inclined to switch to closed based on reasonable standards for
"believed fixed".

I left them 'dead' precisely because I can't be sure the bug's fixed.

Also, at least some of the summary scripts count dead PRs as open, which is not entirely desirable.)

Yeah, that's just annoying.

Anyhow, the last time I floated this idea I suggested the name
"needs-testing", but I think I have a better name now: "stuck".

I'm fine with that.

have fun
Michael
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (Darwin)

iQEVAwUBSANHhcpnzkX8Yg2nAQJ0FQf+IDiT+z19JSYiK1VmAkCKdDSsFKZjIL9n
5YXlF6KgGByKPFUY7Wo49GUNZ8a832s9oQN64wh0zx7RfbBi2hEL2LwgJ2Dp3+Kk
V1uzkzDdFkb5+7Degwrh2eQetRZ2dRDefry7F4RJu0pLgn+7Xyqr/QP3KcwUiAgk
NwMViqzXdnCOvuigtwi5e8/aAi6FZ62i2Bt2nwSeYL0xsLpxFMRd1Soabv3SB058
2UdMNC7soN3wOwj7zhp3aP+CqIzV3oFewy7TuAHMUfmJyIiyj8Sj2GyLUPwIerY4
CdulVVEbSkhwPuf5wUENWv+e8d1YxUa0n9Cwt8H2T0VKbif+1cWmhg==
=WdqB
-----END PGP SIGNATURE-----


Home | Main Index | Thread Index | Old Index