[RTEMS Project] #4789: Better Github mirroring

RTEMS trac trac at rtems.org
Tue Feb 7 20:26:58 UTC 2023

#4789: Better Github mirroring
 Reporter:  Amar Takhar                 |       Owner:  Amar Takhar
     Type:  infra                       |      Status:  accepted
 Priority:  normal                      |   Milestone:  Indefinite
Component:  admin                       |     Version:
 Severity:  normal                      |  Resolution:
 Keywords:  funded project-1 project-2  |  Blocked By:  4784
 Blocking:                              |

Comment (by Amar Takhar):

 It has been confirmed that will be moving to !GitLab.  This problem will
 be solved once that happens as it has automatic remote repository

Ticket URL: <http://devel.rtems.org/ticket/4789#comment:3>
RTEMS Project <http://www.rtems.org/>
RTEMS Project

More information about the bugs mailing list