[RTEMS Project] #4789: Better Github mirroring

RTEMS trac trac at rtems.org
Thu Jan 19 15:23:27 UTC 2023

#4789: Better Github mirroring
  Reporter:  Amar Takhar  |      Owner:  (none)
      Type:  infra        |     Status:  new
  Priority:  normal       |  Milestone:  Indefinite
 Component:  admin        |    Version:
  Severity:  normal       |   Keywords:  need-funding
Blocked By:  4784         |   Blocking:
 * Current setup is stable but annoying to update
  * Check for any opensource tools to handle this
  * Last setup 8 years ago using custom method.

 Hopefully there is a tool that helps with this.  I have not investigated
 this any further the last tool I saw years ago had already been abandoned
 and had unresolved issues.

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

More information about the bugs mailing list