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