Greetings,
* Tom Lane (tgl@sss.pgh.pa.us) wrote:
> Stephen Frost <sfrost@snowman.net> writes:
> > If we just agree to always use the message-ID of the first message in
> > the thread when we're closing out a bug, and people are happy with using
> > message-ID, then I'm not really sure what the bug # is doing for us (and
> > I see that that question from my prior email wasn't answered).
>
> Yeah, I'm coming to the conclusion that there's nothing worth changing
> here. In an ideal world we'd have a bug number for every bug, but we'd
> have to give up more than that's worth.
I didn't come to the conclusion that we just should leave everything
as-is. I was hoping to either get to a point where either we come up
with a sensible way to provide a bug number or other identifier for
things we typically want to link to from commits, or decide that the bug
number isn't really all that useful and get rid of it.
If we're going to keep it and just only use it some of the time and punt
on the rest then I guess the direction that Andres and Magnus were
heading in is alright and maybe better than nothing, but it does mean
we'll continue to recommend the web form to people even though it's
kinda awkward and annoying.
Thanks!
Stephen