An open API service providing commit metadata for open source projects.

GitHub / dafny-lang/setup-dafny-action committers

Last synced: 1 day ago

Total Commits: 42
Total Committers: 7
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 6.0
Development Distribution Score (DDS): 0.5
Commits in the past year: 1
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 1.0
Development Distribution Score (DDS) in the past year: 0.0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/dafny-lang/setup-dafny-action
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action

Name Email Commits
Tej Chajed t****d@m****u 21
Siva Somayyajula s****s@a****m 9
Robin Salkeld s****r@a****m 8
zetzschest s****e@a****m 1
seebees r****r@a****m 1
Jose Corella j****a@g****m 1
Aaron Tomb a****b@g****m 1

Excludes empty and merge commits.

Name Email Commits
Robin Salkeld s****r@a****m 1

Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.