Comment by coryrc

10 days ago

> that made impossible to access them

Couldn't they just be checked out by cron on any number of local machines hosting Apache?

I don't remember clearly where we moved them. It was probably to something owned by Google (because GitHub uses Google Workspaces) or Microsoft (for obvious reasons).