{"full_name":"coq/ltac2","default_branch":"master","committers":[{"name":"Pierre-Marie Pédrot","email":"pierre-marie.pedrot@inria.fr","login":null,"count":260},{"name":"Emilio Jesus Gallego Arias","email":"e+git@x80.org","login":null,"count":20},{"name":"Hugo Herbelin","email":"Hugo.Herbelin@inria.fr","login":null,"count":9},{"name":"Maxime Dénès","email":"maxime.denes@inria.fr","login":null,"count":5},{"name":"Gaëtan Gilbert","email":"gaetan.gilbert@skyskimmer.net","login":null,"count":3},{"name":"Théo Zimmermann","email":"theo.zimmermann@univ-paris-diderot.fr","login":null,"count":3},{"name":"Armael","email":"armael@isomorphis.me","login":null,"count":2},{"name":"Enrico Tassi","email":"gares@fettunta.org","login":null,"count":2},{"name":"Langston Barrett","email":"langston.barrett@gmail.com","login":null,"count":2},{"name":"Maxime Dénès","email":"mail@maximedenes.fr","login":null,"count":2},{"name":"Pierre Roux","email":"pierre@roux01.fr","login":null,"count":2},{"name":"Enrico Tassi","email":"Enrico.Tassi@Inria.fr","login":null,"count":1},{"name":"James R. Wilcox","email":"jrw12@cs.washington.edu","login":null,"count":1},{"name":"Jason Gross","email":"jasongross9@gmail.com","login":null,"count":1},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":1},{"name":"Vincent Laporte","email":"Vincent.Laporte@fondation-inria.fr","login":null,"count":1},{"name":"gallais","email":"guillaume.allais@ens-lyon.org","login":null,"count":1}],"total_commits":316,"total_committers":17,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":18.58823529411765,"dds":0.17721518987341767,"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-06T05:25:59.538Z","last_synced_commit":"868a2b6c1bd6f44dc6fc8d576140bebacefcf6f2","created_at":"2024-11-24T14:20:19.097Z","updated_at":"2024-12-06T05:25:59.539Z","commits_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fltac2/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"}}