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