github? [Re: [Agda] Agda development]

[Guillaume Brunerie]

On 2013/12/2 Ulf Norell <ulf.norell at gmail.com> wrote:
> That sounds cool. How does it keep track of which commit fixes which issue?
> Do you specify that when closing the issue?

You don’t even need to close the issue yourself, you just need to
write something like "close #666" in the commit message and github
will automatically close the issue #666 for you and add a link to the
corresponding commit (see
https://help.github.com/articles/closing-issues-via-commit-messages).

Guillaume

> 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
>
>