On Fri, Jul 19, 2013 at 10:53:27AM +0200, eles wrote: > On Thursday, 18 July 2013 at 17:10:10 UTC, H. S. Teoh wrote: > >On Thu, Jul 18, 2013 at 10:22:14AM +0200, eles wrote: > >>On Thursday, 11 July 2013 at 14:42:09 UTC, H. S. Teoh wrote: > >>>On Thu, Jul 11, 2013 at 08:09:33AM +0100, Iain Buclaw wrote: > >>>>On Jul 11, 2013 1:28 AM, "H. S. Teoh" > >>>><hst...@quickfur.ath.cx> > >I think you have to fork my fork in order to make a pull, I don't > >know if github supports pull requests to a different fork of the main > >repo. > > I did try that, but it forks the original repo instead.
Oh. > I think, in the theory, only Iain could be able to integrate your (and > mine) pull requests into his repository. Really? That's kinda... pointless, isn't it? 'cos why would my fork page have the "pull requests" tab? > What about you getting the keys of the main gdmd repo and move there > the D-port of gdmd? > > You already did tremendous amount of work, to the point that the old > version of gdmd (the Perl script) could be already dropped (or kept > for historical reasons). Not really, there are still some dmd options that dmd-script supports, but gdmd.d doesn't yet. T -- Everybody talks about it, but nobody does anything about it! -- Mark Twain
