GitHub / leanprover/lean-workbench committers
Last synced: 14 days ago
Total Commits: 192
Total Committers: 3
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 64.0
Development Distribution Score (DDS): 0.344
Total Committers: 3
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 64.0
Development Distribution Score (DDS): 0.344
Commits in the past year: 192
Committers in the past year: 3
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 64.0
Development Distribution Score (DDS) in the past year: 0.344
Committers in the past year: 3
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 64.0
Development Distribution Score (DDS) in the past year: 0.344
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/leanprover/lean-workbench
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean-workbench
| Name | Commits | |
|---|---|---|
| Jason Reed | j****d@g****m | 126 |
| Wojciech Nawrocki | 1****4 | 44 |
| Rob Simmons | r****b@l****g | 22 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Jason Reed | j****d@g****m | 126 |
| Wojciech Nawrocki | 1****4 | 44 |
| Rob Simmons | r****b@l****g | 22 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.