Amar Takhar commented: https://gitlab.rtems.org/rtems/tools/rtems-source-builder/-/issues/16#note_113058 One solution and probably the only one we can do is create a new project RMIRROR or something similar and then move these repositories to that project. GitHub will install a redirect so old tools won't break and this will take them out of /RTEMS/. I will look to see if we can do this and we can update the links at our convenience in source. -- View it on GitLab: https://gitlab.rtems.org/rtems/tools/rtems-source-builder/-/issues/16#note_113058 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
