[Agda] Agda moving to GitHub

[Ulf Norell]

Personally I'm in favour of a generous use of branches.

/ Ulf


On Thu, Jun 12, 2014 at 10:35 AM, Andreas Abel <abela at chalmers.se> wrote:

> Good!
>
> We should clarify how to work with the new repo in terms of branches etc.;
> draft a short note on the "best practices" on how to use or not use
> branching for
>
>   * fixing a bug
>   * adding a new feature
>
> Suggestions for a workflow model welcome!
>
> Cheers,
> Andreas
>
>
> On 11.06.2014 21:03, Ulf Norell wrote:
>
>> We have been talking about moving the Agda repo from darcs to git
>> for a while. With 2.4.0 is out the door it's time to take the plunge. If
>> you have any outstanding patches it might be a good idea to get them
>> into the main repo now. It's not critical though--we will still be able to
>> apply darcs patches after the move but it's a little bit of a hassle.
>>
>> I'll make the move some time around the weekend.
>>
>> / Ulf
>>
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>>
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
>
> andreas.abel at gu.se
> http://www2.tcs.ifi.lmu.de/~abel/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140612/84e8cef7/attachment.html