{"full_name":"coq/repo-stable-disabled","default_branch":"master","committers":[{"name":"Guillaume Claret","email":"dev@clarus.me","login":null,"count":183},{"name":"Guillaume Melquiond","email":"guillaume.melquiond@inria.fr","login":null,"count":12},{"name":"Thomas Braibant","email":"thomas.braibant@inria.fr","login":null,"count":10},{"name":"Cyril Cohen","email":"cohen@crans.org","login":null,"count":8},{"name":"gregory malecha","email":"gmalecha@cs.harvard.edu","login":null,"count":5},{"name":"Frédéric Blanqui","email":"frederic.blanqui@inria.fr","login":null,"count":3},{"name":"Matthieu Sozeau","email":"mattam@mattam.org","login":null,"count":3},{"name":"Thomas Braibant","email":"thomas.braibant@gmail.com","login":null,"count":3},{"name":"Vadim Zaliva","email":"lord@crocodile.org","login":null,"count":3},{"name":"Frédéric Besson","email":"frederic.besson@inria.fr","login":null,"count":2},{"name":"Guillaume Claret","email":"guillaume@claret.me","login":null,"count":2},{"name":"thery","email":"thery@sophia.inria.fr","login":null,"count":2},{"name":"Bas Spitters","email":"b.a.w.spitters@gmail.com","login":null,"count":1},{"name":"Maxime Dénès","email":"mail@maximedenes.fr","login":null,"count":1}],"total_commits":238,"total_committers":14,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":17.0,"dds":0.23109243697478987,"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.684Z","last_synced_commit":"b3d1fcbd167e998af3d1c964ff568c08750c6caf","created_at":"2024-12-02T20:05:41.025Z","updated_at":"2024-12-20T16:48:40.684Z","commits_url":"https://commits.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Frepo-stable-disabled/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.data.code.gouv.fr/api/v1/hosts/GitHub","repositories_url":"https://commits.data.code.gouv.fr/api/v1/hosts/GitHub/repositories"}}