On Jan 20, 2013, at 19:06, Blaise Laflamme <
bla...@laflamme.org> wrote:
> You mean removing the repo? I don't think... Github repos are not only reflecting the current working state but also work in progress. Stable documentation reflects the current working state, I consider people visiting github repos as more advanced user looking at more than just stable stuff. If we decide to drop those projects from happening then yes we can remove them, not before.
Wichert.