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