[RTEMS Project] #4789: Better Github mirroring

RTEMS trac trac at rtems.org
Thu Jan 26 19:36:13 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:                              |
Changes (by Amar Takhar):

 * keywords:  funded project-1 => funded project-1 project-2


 If we move to GitLab to host our repositories it has an built-in method
 for Mirroring that will work for this.

 It's safe, realtime and does not require any sketchy authentication
 setups.  Adding this to project-2 for now if it is not completed there it
 will be done as part of Project 1.  Also leaving it as funded.

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

More information about the bugs mailing list