[Freemint-list] FreeMiNT for 21st century

[Vincent Rivière]

On 14/01/2017 à 01:17, Miro Kropáček wrote:
>   * are you ok to have the main github's repository under my name? Or should
>     we create a github account, say, sparemint for that? (there's basically
>     zero difference, I'd make you project admin for all projects --
>     freemint, lib, mintlib, qed, perhaps others lying dead in our CVS)

The proper way to go is to create an Organization on GitHub, as owner of the 
repositories. Then give access rights to people. For the name of the 
Organization, IMHO "FreeMiNT" would be fine.

NB: IIRC, repositories can easily be moved between developers / organizations.

-- 
Vincent Rivière