[riot-devel] Repository for Docker builds
oliver.hahm at inria.fr
Sun Mar 22 15:02:28 CET 2015
> > This somehow disappeared from my radar. I think you need to give me admin
> > access to the repository in order to move it to the RIOT organization (and
> > rename it to riotdocker).
> What do you mean?
> If you create a new empty riotdocker repo in the RIOT organization we
> can push the Dockerfile commits to it.
Yes, of course that's possible. I thought it might be easier to move the
already existing repository to the RIOT-OS organization, but anyway here we
You should have write access.
printk (KERN_DEBUG "Somebody wants the port\n");
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 819 bytes
Desc: not available
More information about the devel