Opened 9 years ago

Last modified 9 years ago

#5341 new task

mg-dev-environments repository needs migration to Savannah

Reported by: Ben Sturmfels Owned by:
Priority: minor Milestone:
Component: infrastructure Keywords:
Cc: Parent Tickets:


I've just run across the mg-dev-environments repository in the docs, but it's no longer available though Gitorious ( say that it's currently being migrated to Can this please be pushed up to Savannah?

Change History (1)

comment:1 by Ben Sturmfels, 9 years ago

The mg-dev-environments repository is referenced at:

  • ./devtools/
  • ./docs/source/siteadmin/relnotes.rst:308

Additionally, relnotes.rst:586 references a Gitorious repository A web search suggests it is now on Github ( I can update this the same patch.

Note: See TracTickets for help on using tickets.