fix: correct repo shortnames, add Object Id, general clean up in github_repos.json - Githubissues

digital-sustainability / oss-github-benchmark

Benchmark of OSS projects on GitHub

GNU General Public License v3.0

12 stars 18 forks source link

fix: correct repo shortnames, add Object Id, general clean up in github_repos.json #352

Closed holdan-8 closed 2 months ago