github? [Re: [Agda] Agda development]
Jan Stolarek
jan.stolarek at p.lodz.pl
Thu Jan 9 09:55:34 CET 2014
Good to hear that.
> We were a bit underwhelmed by the issue tracker on github
Yes, github's issue tracker has some limitations. Most notable one is no support for attachments.
An alternative approach you might wish to consider is having git repository on one of your servers
and mirroring that repo through github. This is approach used by GHC. I'm not sure whether this
is available for free, but someone in the GHC dev team should know (I think).
Janek
Dnia czwartek, 9 stycznia 2014, Ulf Norell napisał:
> We decided to switch over to git and host Agda on github. This will happen
> some time after the 2.3.4 release (which will happen after ghc-7.8 is out).
> We were a bit underwhelmed by the issue tracker on github though, so the
> issues will stay put for the time being.
>
> / Ulf
>
> On Fri, Jan 3, 2014 at 4:29 PM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
> > Hi Ulf and others,
> >
> > > We'll have a sit down this week to discuss whether it's time to take
> > > the plunge.
> >
> > This was month ago. Have any decissions been made regarding possible
> > moving to git?
> >
> > Janek
More information about the Agda
mailing list