#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
_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs
