riotdocker is more descriptive for the github repo name, I like it.

Best regards, Joakim
On Feb 24, 2015 8:20 AM, "Oleg Hahm" <oliver.h...@inria.fr> wrote:

> Hi Joakim!
>
> > What is a suitable name for the new repo?
> > I have been using "riotbuild" for my Docker development at
> > https://github.com/gebart/riotbuild
>
> I don't have any particular ideas for the name, so, for me "riotbuild" (or
> "riotdocker") would be fine.
>
> > Also, I need to have an organisation owner (Oleg, Kaspar, Emmanuel or
> > Matthias Wählisch) create the repo since maintainers do not have the
> proper
> > access to do it.
>
> Sure, I can do so. Let's wait if no one objects against the proposed name.
>
> Cheers,
> Oleg
> --
> The problem with git jokes is everyone has their own version.
>
> _______________________________________________
> devel mailing list
> devel@riot-os.org
> http://lists.riot-os.org/mailman/listinfo/devel
>
>
_______________________________________________
devel mailing list
devel@riot-os.org
http://lists.riot-os.org/mailman/listinfo/devel

Reply via email to