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