sitvanit83
View on GitHub ↗active 2023-08-16 → 2023-12-11 (UTC) · 2 repositories
Complete coverage27,299 / 27,302 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
447
Pushes
114
Pull requests
24
Issues
0
Reviews
151
Repositories
2
Activity over time
Daily event counts in the loaded window
Line chart, 118 days from 2023-08-16 to 2023-12-11. Pushes: 114 total, peak 9 in a day. Pull requests: 24 total, peak 5 in a day. Issues: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
Repositories worked on
Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| Certora/Examples | 231 | 100 | 22 | 0 | 53 | 2023-12-07 |
| Certora/Documentation | 205 | 14 | 2 | 0 | 94 | 2023-12-11 |
Works with
People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone
| Contributor | Shared repos | Repositories in common |
|---|---|---|
| Roy-Certora | 2 | |
| christiane-certora | 2 | |
| jhoenicke | 2 | |
| johspaeth | 2 | |
| liav-certora | 2 | |
| mdgeorge4153 | 2 | |
| naftali-g | 2 | |
| nd-certora | 2 | |
| nivcertora | 2 | |
| omerlerinman | 2 | |
| otakar-trunda | 2 | |
| ozcodes | 2 | |
| pickx | 2 | |
| rahav-certora | 2 | |
| shellygr | 2 | |
| shoham-certora | 2 | |
| urikirsh | 2 | |
| yoav-el-certora | 2 | |
| 1arie1 | 1 | |
| BenTheKush | 1 | |
| Biced | 1 | |
| EyalHochCertora | 1 | |
| EyalO-Certora | 1 | |
| H00N24 | 1 | |
| RedLikeRosesss | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.