{"id":4181193,"full_name":"leanprover/lean4export","default_branch":"master","total_commits":83,"total_committers":10,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":8.3,"dds":0.6987951807228916,"past_year_total_commits":66,"past_year_total_committers":7,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":9.428571428571429,"past_year_dds":0.6212121212121212,"last_synced_at":"2026-08-28T10:11:32.854Z","last_synced_commit":"411dce7db58a3afc60ecab2d211acd1042b593dc","created_at":"2024-11-06T13:26:48.565Z","updated_at":"2026-08-28T10:11:32.683Z","committers":[{"name":"Joachim Breitner","email":"mail@joachim-breitner.de","login":"nomeata","count":25},{"name":"Garmelon","email":"joscha@plugh.de","login":"Garmelon","count":13},{"name":"Kim Morrison","email":"kim@tqft.net","login":"kim-em","count":12},{"name":"ammkrn","email":"chris@christopherabailey.com","login":"ammkrn","count":10},{"name":"Sebastian Ullrich","email":"sebasti@nullri.ch","login":"Kha","count":8},{"name":"Henrik Böving","email":"hargonix@gmail.com","login":"hargoniX","count":7},{"name":"Auguste Poiroux","email":"augustepoiroux@gmail.com","login":"augustepoiroux","count":3},{"name":"Siddhartha Gadgil","email":"siddhartha.gadgil@gmail.com","login":"siddhartha-gadgil","count":2},{"name":"Mario Carneiro","email":"di.gama@gmail.com","login":"digama0","count":2},{"name":"Rob Simmons","email":"rob@lean-fro.org","login":"robsimmons","count":1}],"past_year_committers":[{"name":"Joachim Breitner","email":"mail@joachim-breitner.de","login":"nomeata","count":25},{"name":"Garmelon","email":"joscha@plugh.de","login":"Garmelon","count":13},{"name":"Kim Morrison","email":"kim@tqft.net","login":"kim-em","count":12},{"name":"ammkrn","email":"chris@christopherabailey.com","login":"ammkrn","count":8},{"name":"Henrik Böving","email":"hargonix@gmail.com","login":"hargoniX","count":4},{"name":"Auguste Poiroux","email":"augustepoiroux@gmail.com","login":"augustepoiroux","count":3},{"name":"Rob Simmons","email":"rob@lean-fro.org","login":"robsimmons","count":1}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4export/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-08-31T00:00:08.268Z","repositories_count":6901405,"commits_count":994333777,"contributors_count":42197937,"owners_count":1379207,"committers_count":3400749,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}}