On Wednesday, 16 July 2014 at 06:56:24 UTC, ketmar via
On Tue, 15 Jul 2014 23:03:38 -0700
Andrei Alexandrescu via Digitalmars-d-announce
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!
have no motivation. and no, i'm neither using github, nor
use it in the current millenia. that's why i'm saying that
issues.dlang.org is just a dust collector: no guthub pull
bug will sit in issues.dlang.org for indefinite time.
so what is the sense in issues.dlang.org existence? it should
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.