[RTEMS Project] #4789: Better Github mirroring

[RTEMS trac]

#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
 mirroring.

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