GitHub / certora/documentation committers
Last synced: about 1 year ago
Total Commits: 1,534
Total Committers: 54
Total Bot Commits: 4
Total Bot Committers: 1
Avg Commits per committer: 28.407
Development Distribution Score (DDS): 0.615
Total Committers: 54
Total Bot Commits: 4
Total Bot Committers: 1
Avg Commits per committer: 28.407
Development Distribution Score (DDS): 0.615
Commits in the past year: 233
Committers in the past year: 24
Bot Commits in the past year: 4
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 9.708
Development Distribution Score (DDS) in the past year: 0.768
Committers in the past year: 24
Bot Commits in the past year: 4
Bot Committers in the past year: 1
Avg Commits per committer in the past year: 9.708
Development Distribution Score (DDS) in the past year: 0.768
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/certora/documentation
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/certora%2Fdocumentation
| Name | Commits | |
|---|---|---|
| Michael George | m****e@c****u | 590 |
| rahav | r****v@c****m | 142 |
| Chandrakana Nandi | c****0@g****m | 113 |
| urikirsh | 3****h | 105 |
| Alexander Nutz | a****x@c****m | 103 |
| Shelly Grossman | s****y@c****m | 92 |
| Shoham Shamir | s****m@c****m | 54 |
| Niv vaknin | 1****a | 35 |
| Johannes Späth | j****h | 34 |
| sitvanit | s****t@c****m | 29 |
| Naftali Goldstein | 4****g | 29 |
| Oz | o****z@c****m | 17 |
| jar-ben | x****k@g****m | 15 |
| John Toman | j****n@c****u | 14 |
| Gereon Kremer | g****n@c****m | 13 |
| Ben Kushigian | b****n@c****m | 11 |
| christiane-certora | c****e@c****m | 11 |
| Arie Gurfinkel | a****e@c****m | 11 |
| EyalHochCertora | 9****a | 11 |
| Eytan Singher | “****n@c****” | 8 |
| Samwise | s****e@c****m | 7 |
| eytan-cert | 1****t | 7 |
| Steve Wilson | s****e@c****m | 6 |
| Aleksander Kryukov | f****v@g****m | 6 |
| Nurit Dor | 5****a | 6 |
| Thomas Adams | t****s@g****m | 5 |
| Thomas Bernardi | t****s@c****m | 5 |
| pickx | p****x@p****m | 5 |
| Abhi Gulati | a****i@g****m | 5 |
| yoav-el-certora | 1****a | 5 |
| Sameer Arora | s****r@c****m | 4 |
| dependabot[bot] 🤖 | 4****] | 4 |
| teryanarmen | 6****n | 4 |
| mailalexjoseph | 8****h | 3 |
| Gabriel Elizedek | g****l@c****m | 2 |
| Jochen Hoenicke | j****n@c****m | 2 |
| Biced | 5****d | 2 |
| Melvillian | m****t@g****m | 2 |
| Francesco Parolini | p****1@g****m | 2 |
| guydorens | g****y@c****m | 1 |
| 0xJoyBoy03 | 6****3 | 1 |
| Jeff Steger | j****r@J****l | 1 |
| Alireza Arjmand | a****s@u****a | 1 |
| Abi | 3****6 | 1 |
| Denis Gorbachev | 8****v | 1 |
| Dmitry | 9****t | 1 |
| Marcin Kostrzewa | m****a@g****m | 1 |
| Shebin John | a****n@r****m | 1 |
| Sumit Vekariya | s****7@g****m | 1 |
| eyalfishel | e****l@g****m | 1 |
| gitbook-bot | g****t@g****m | 1 |
| lbj137 | 6****7 | 1 |
| tadeas-kucera | 1****a | 1 |
| yoav-rodeh | 8****h | 1 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| rahav | r****v@c****m | 54 |
| urikirsh | 3****h | 45 |
| Chandrakana Nandi | c****0@g****m | 36 |
| Johannes Späth | j****h | 23 |
| Arie Gurfinkel | a****e@c****m | 11 |
| christiane-certora | c****e@c****m | 11 |
| Shoham Shamir | s****m@c****m | 10 |
| Naftali Goldstein | 4****g | 10 |
| Aleksander Kryukov | f****v@g****m | 6 |
| yoav-el-certora | 1****a | 5 |
| John Toman | j****n@c****u | 4 |
| dependabot[bot] 🤖 | 4****] | 4 |
| shellygr | s****r | 2 |
| Francesco Parolini | p****1@g****m | 2 |
| 0xJoyBoy03 | 6****3 | 1 |
| Biced | 5****d | 1 |
| Dmitry | 9****t | 1 |
| Gereon Kremer | g****n@c****m | 1 |
| Niv vaknin | 1****a | 1 |
| Shebin John | a****n@r****m | 1 |
| Sumit Vekariya | s****7@g****m | 1 |
| alexandernutz | 1****z | 1 |
| jar-ben | x****k@g****m | 1 |
| pickx | p****x@p****m | 1 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.