GitHubDB was switched to files.