github? [Re: [Agda] Agda development]

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Sun Dec 1 19:34:58 CET 2013


On 1 December 2013 12:55, Andreas Abel <abela at chalmers.se> wrote:

> Also, people say that keeping forks and merging conflicts is easier with
> git than darcs.
>

Keep updated a fork is not easy with Darcs. This is one of the reasons why I
have agreed with the migration to Git on GitHub.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131201/79c0ebb5/attachment.html


More information about the Agda mailing list