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