[RTEMS Project] #3556: Not all repositories are on located on git.rtems.org

[RTEMS trac]

#3556: Not all repositories are on located on git.rtems.org
-------------------------+--------------------------
 Reporter:  Amar Takhar  |       Owner:  Amar Takhar
     Type:  infra        |      Status:  assigned
 Priority:  high         |   Milestone:  5.1
Component:  admin        |     Version:
 Severity:  normal       |  Resolution:
 Keywords:               |  Blocked By:
 Blocking:               |
-------------------------+--------------------------

Comment (by Amar Takhar):

 This isn't the same issue:  That ticket is about setting up the
 repositories this ticket is about moving them to git.rtems.org and
 mirroring to Github.

 I would like to discuss moving this to our infrastructure and using the
 Github mirror as a mirror rather than primary infrastructure.

--
Ticket URL: <http://devel.rtems.org/ticket/3556#comment:5>
RTEMS Project <http://www.rtems.org/>
RTEMS Project