On Thu, Jun 7, 2018 at 2:25 AM, Sebastian Huber <sebastian.hu...@embedded-brains.de> wrote: > On 06/06/18 09:34, Chris Johns wrote: >>> >>> We could use an unofficial mirror on Github, e.g. >>> >>> >>> https://codeload.github.com/bminor/binutils-gdb/tar.gz/c61b06a19a34baab66e3809c7b41b0c31009ed9f >>> >>> >>> My main concern with using all these different download sources is that >>> this >>> will likely not work if we want to use it in five or ten years due to URL >>> changes. >>> >> What if we mirror gcc in github in a tools folder? > > > I have insufficient permissions to create repositories at > https://github.com/RTEMS. >
I have fixed your permissions there. > > -- > Sebastian Huber, embedded brains GmbH > > Address : Dornierstr. 4, D-82178 Puchheim, Germany > Phone : +49 89 189 47 41-16 > Fax : +49 89 189 47 41-09 > E-Mail : sebastian.hu...@embedded-brains.de > PGP : Public key available on request. > > Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
