Merge pull request #352 from digital-sustainability/clean_repos_file

digital-sustainability / oss-github-benchmark

Benchmark of OSS projects on GitHub

GNU General Public License v3.0

15 stars 20 forks source link

Closed holdan-8 closed 4 months ago

holdan-8 commented 4 months ago

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