On 2 okt 2012, at 17:11, Alex Rønne Petersen <[email protected]> wrote:
> Hey, > > (Sending this to the ML so as to not pollute/spam the pull request[0].) > > Don, I think you make some good points about pull requests being bad. > They seem great > at first glance, but turn out to be very lacking for certain kinds of > projects (such as ours, > where we have to care about lots of platforms and configurations and > one tiny little change > can trivially break everything). Could the github API be useful here, provide better interface? -- /Jacob Carlborg _______________________________________________ dmd-internals mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/dmd-internals
