On Wednesday, 16 July 2014 at 06:56:24 UTC, ketmar via
Digitalmars-d-announce wrote:
On Tue, 15 Jul 2014 23:03:38 -0700
Andrei Alexandrescu via Digitalmars-d-announce
<[email protected]> wrote:
You mean http://issues.dlang.org? That's used regularly.
oh, really? https://issues.dlang.org/show_bug.cgi?id=12853
Whatcha waiting for? reports + pull requests please. Thanks!
-- Andrei
have no motivation. and no, i'm neither using github, nor
planning to
use it in the current millenia. that's why i'm saying that
issues.dlang.org is just a dust collector: no guthub pull
request? your
bug will sit in issues.dlang.org for indefinite time.
so what is the sense in issues.dlang.org existence? it should
be closed
to stop frustrating people.
issues.dlang.org is primarily for discussing bugs, github pull
requests are for reviewing fixes. Moving to github has a been a
great success, but it lacks a lot of the features of bugzilla
(issues.dlang.org) that are important for bug tracking, hence the
split. Github, however, is *much* better for reviewing patches.