{"full_name":"coq/coq-bench","default_branch":"master","committers":[{"name":"Matej Kosik","email":"matej.kosik@inria.fr","login":null,"count":110},{"name":"Emilio Jesus Gallego Arias","email":"e+git@x80.org","login":null,"count":28},{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":11},{"name":"Pierre-Marie Pédrot","email":"pierre-marie.pedrot@inria.fr","login":null,"count":8},{"name":"Enrico Tassi","email":"gares@fettunta.org","login":null,"count":6},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":3},{"name":"jenkins","email":"jenkins@pendulum.inria.fr","login":null,"count":2},{"name":"Anton Trunov","email":"anton.a.trunov@gmail.com","login":null,"count":1},{"name":"Ralf Jung","email":"post@ralfj.de","login":null,"count":1},{"name":"matej kosik","email":"mkosik@roquableu.inria.fr","login":null,"count":1}],"total_commits":171,"total_committers":10,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":17.1,"dds":0.35672514619883045,"past_year_committers":[],"past_year_total_commits":0,"past_year_total_committers":0,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":0.0,"past_year_dds":0.0,"last_synced_at":"2024-12-20T16:48:40.679Z","last_synced_commit":"ec0c9ef479e1c84bb69d4cabe6297e7424ba0ccb","created_at":"2024-12-02T20:08:18.573Z","updated_at":"2024-12-20T16:48:40.680Z","commits_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fcoq-bench/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2024-11-28T23:00:20.273Z","repositories_count":58,"commits_count":38457,"contributors_count":1412,"owners_count":30,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories"}}