[Dune-devel] [Dune] DUNE migration to Git complete

[Oliver Sander]

>> - In order to mirror our repositories on GitHub, I set up an organizational account called dune-project.
>>    Currently I am the sole owner of the organization, but I'll gladly add other developers. Just let me know
>>    and tell me your GitHub account name. I'll also add you to the alias for the associated email account
>>    (github at dune-project.org).
>
> Why would we need a github mirror? And what about gitorious, launchpad
> etc.? Do we really want to do this?

Same question here.  What do we need the github mirror for?
Best,
Oliver

>
>> - We should really encourage users to send us patches via pull request (preferred) or, if that is not possible
>>    for some reason, via "git format-patch". Apart from saving the person applying the patch a lot of work, this
>>    also has the additional advantage of preserving the committer (for pull requests) or at least author (for
>>    "git format-patch") information. With that information in the repository it should become a lot easier to compile
>>    stuff like lists of external contributors in the future.
>
> agree
>
> Ciao
> Christian
>
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-devel