[RTEMS Project] #4789: Better Github mirroring

[RTEMS trac]

#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