{"id":12282620,"full_name":"leanprover/lean-workbench","default_branch":"master","total_commits":218,"total_committers":3,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":72.66666666666667,"dds":0.4174311926605505,"past_year_total_commits":218,"past_year_total_committers":3,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":72.66666666666667,"past_year_dds":0.4174311926605505,"last_synced_at":"2026-09-05T01:50:22.231Z","last_synced_commit":"05055ddd8e3b1db059f0462c4efc0c1c7a071edf","created_at":"2026-08-10T04:06:32.106Z","updated_at":"2026-09-05T01:50:22.172Z","committers":[{"name":"Jason Reed","email":"jcreed@gmail.com","login":"jcreedcmu","count":127},{"name":"Wojciech Nawrocki","email":"13901751+Vtec234","login":"Vtec234","count":49},{"name":"Robert J. Simmons","email":"442315+robsimmons","login":"robsimmons","count":42}],"past_year_committers":[{"name":"Jason Reed","email":"jcreed@gmail.com","login":"jcreedcmu","count":127},{"name":"Wojciech Nawrocki","email":"13901751+Vtec234","login":"Vtec234","count":49},{"name":"Robert J. Simmons","email":"442315+robsimmons","login":"robsimmons","count":42}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean-workbench/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-09-06T00:00:08.985Z","repositories_count":7065761,"commits_count":1027355647,"contributors_count":44500171,"owners_count":1410334,"committers_count":3434520,"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"}}