github? [Re: [Agda] Agda development]

[Jan Stolarek]

If you refer to issue number in the commit message it will get linked automatically. There are 
some keywords (like "fixes" and "closes") that change ticket status automatically if they appear 
in a commit message together with ticket number (e.g. "This commit fixes #123"). See here for an 
example:

https://github.com/idris-lang/Idris-dev/issues/677

Janek

Dnia poniedziałek, 2 grudnia 2013, Ulf Norell napisał:
> That sounds cool. How does it keep track of which commit fixes which issue?
> Do you specify that when closing the issue?
>
> / Ulf
>
>
> On Mon, Dec 2, 2013 at 11:30 AM, Guillaume Brunerie <
>
> guillaume.brunerie at gmail.com> wrote:
> > Something that I would really like is being able to easily see the
> > changes needed to fix various issues. In github, when a commit fixes
> > an issue, the issue is automatically closed and a link to this commit
> > is added to the issue tracker, so I can just click on it and see what
> > was needed (so I can passively improve my understanding of the source
> > code of Agda). Currently, I would need to "darcs pull" the latest
> > version, figure out which change(s) fixed the issue, and figure out
> > how to get the associated diff, so unless it’s something I’m really
> > interested in I don’t usually do it.
> >
> > Guillaume
> >
> > 2013/12/2 Jan Stolarek <jan.stolarek at p.lodz.pl>:
> > >> I don't think there would be any huge advantages for us as main
> >
> > developers moving to github.
> >
> > > Just to be clear. I don't want to argue that github is the best place
> > > to
> >
> > host a project - I want
> >
> > > to argue that git is :-) Github has its flaws and for a large project
> > > it
> >
> > may not be suitable (as
> >
> > > is the case with GHC that only has github mirrors). I wouldn't mind
> >
> > having a git repo at
> >
> > > code.haskell.org. This would allow me to have my own fork at github and
> >
> > at the same time pull new
> >
> > > changes from main repo. Still, I would not use Google Code for
> > > reporting
> >
> > bugs and send them to
> >
> > > the mailing list instead.
> > >
> > > Janek
> > > _______________________________________________
> > > Agda mailing list
> > > Agda at lists.chalmers.se
> > > https://lists.chalmers.se/mailman/listinfo/agda