diff --git a/DevInfra.md b/DevInfra.md index eb5c817..0322804 100644 --- a/DevInfra.md +++ b/DevInfra.md @@ -41,12 +41,19 @@ As today, a single virtual server instance provided by Linode/Akamai is running * Version Control subsystem **connected** to * aside with 7 other projects: * : likely **obsolete** + * meejah: looks like it was _never_ used; delete * : only as homepage pointing to + * meejah: delete trac data; bonus for redirect to the PyPI page * : likely **obsolete** + * meejah: delete trac data; bonus for redirect to wherever pycrptopp dev happens now * : likely **obsolete** and replaced by + * meejah: ??? * : likely **broken** + * meejah: ??? * : likely **broken** + * meejah: old project of zooko * : likely **broken** + * there more (and more-recent) tickets, PRs and data all on [GitHub](GitHub) .. we should prefer that * Buildbot master instances: * mainly: * aside with: