{"full_name":"coq/platform","default_branch":"main","committers":[{"name":"Michael Soegtrop","email":"7895506+MSoegtropIMC","login":"MSoegtropIMC","count":973},{"name":"Enrico Tassi","email":"Enrico.Tassi@Inria.fr","login":null,"count":73},{"name":"Romain Tetley","email":"romain.tetley@inria.fr","login":null,"count":61},{"name":"Théo Zimmermann","email":"theo.zimmermann@inria.fr","login":null,"count":9},{"name":"Enrico Tassi","email":"Enrico.Tassi@inria.fr","login":null,"count":6},{"name":"Kartik Singhal","email":"kartiksinghal@gmail.com","login":null,"count":4},{"name":"Karl Palmskog","email":"palmskog@gmail.com","login":null,"count":3},{"name":"Marco Maggesi","email":"1809783+maggesi","login":"maggesi","count":2},{"name":"Emilio Jesus Gallego Arias","email":"e+git@x80.org","login":null,"count":2},{"name":"Paolo G. Giarrusso","email":"p.giarrusso@gmail.com","login":null,"count":2},{"name":"Ralph Matthes","email":"rmatthes","login":"rmatthes","count":1},{"name":"Vilem","email":"17603372+buggymcbugfix","login":"buggymcbugfix","count":1},{"name":"Euan Mendoza","email":"bebopbamf@effectfree.dev","login":null,"count":1},{"name":"Haneul Choi","email":"caelum02@snu.ac.kr","login":null,"count":1},{"name":"Hicham Omari","email":"hichamomari@hotmail.com","login":null,"count":1},{"name":"Jason Gross","email":"jgross@mit.edu","login":null,"count":1},{"name":"Jim Fehrle","email":"jim.fehrle@gmail.com","login":null,"count":1},{"name":"Kaleb Luedtke","email":"trenlymc@gmail.com","login":null,"count":1},{"name":"Pedro de Souza Queiroga","email":"pedro.queiroga@fastsolucoes.com.br","login":null,"count":1},{"name":"Robin Soegtrop","email":"r@aerobiont.de","login":null,"count":1},{"name":"Tej Chajed","email":"tchajed@mit.edu","login":null,"count":1},{"name":"Théo Zimmermann","email":"theo.zimmermann@telecom-paris.fr","login":null,"count":1},{"name":"Théo Zimmermann","email":"theo.zimmermann@univ-paris-diderot.fr","login":null,"count":1},{"name":"Yannick Forster","email":"forster@ps.uni-saarland.de","login":null,"count":1},{"name":"Yves Bertot","email":"Yves.Bertot@inria.fr","login":null,"count":1}],"total_commits":1150,"total_committers":25,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":46.0,"dds":0.15391304347826085,"past_year_committers":[{"name":"Michael Soegtrop","email":"7895506+MSoegtropIMC","login":"MSoegtropIMC","count":92},{"name":"Romain Tetley","email":"romain.tetley@inria.fr","login":null,"count":42},{"name":"Emilio Jesus Gallego Arias","email":"e+git@x80.org","login":null,"count":1},{"name":"Euan Mendoza","email":"bebopbamf@effectfree.dev","login":null,"count":1},{"name":"Haneul Choi","email":"caelum02@snu.ac.kr","login":null,"count":1},{"name":"Hicham Omari","email":"hichamomari@hotmail.com","login":null,"count":1},{"name":"Jim Fehrle","email":"jim.fehrle@gmail.com","login":null,"count":1},{"name":"Théo Zimmermann","email":"theo.zimmermann@telecom-paris.fr","login":null,"count":1},{"name":"Ralph Matthes","email":"rmatthes","login":"rmatthes","count":1}],"past_year_total_commits":141,"past_year_total_committers":9,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":15.666666666666666,"past_year_dds":0.34751773049645385,"last_synced_at":"2024-12-20T16:35:30.004Z","last_synced_commit":"cfaa14b08f219bf71b773a4e4d05f3f6579627b8","created_at":"2024-11-29T20:09:17.848Z","updated_at":"2024-12-20T16:35:30.005Z","commits_url":"https://commits.ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fplatform/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"}}