2013-02-13: new home for Planetary code on github
|Reported by:||kohlhase||Owned by:||cdavid|
|Dependencies:||Due to assign:||YYYY/MM/DD|
|Due to close:||YYYY/MM/DD||Include in GanttChart:||no|
After a long time with murky code origings, we gave the Planetary code a new home on github (see https://github.com/KWARC/planetary) to make it more accessible/findable. We plan to use the github issue tracker for user-reported issues and keep the TRAC as a project planning tool, since it is more featureful. The Planetary TRAC will be updated to show the github repository in the source browser eventually.