[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):

 No it would not change anything I would clone the repo from github first
 and then pull from the origin repo into the local one then push out to
 github it'll be fine.

 But yes I'm not too worried about it.

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