ericrbg
View on GitHub ↗active 2023-08-21 → 2025-02-01 (UTC) · 11 repositories
Partial coverage20,509 / 26,265 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
366
Pushes
66
Pull requests
36
Issues
8
Reviews
63
Repositories
11
Activity over time
Daily event counts in the loaded window
Line chart, 531 days from 2023-08-21 to 2025-02-01. Pushes: 66 total, peak 11 in a day. Pull requests: 36 total, peak 16 in a day. Issues: 8 total, peak 3 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 |
|---|---|---|---|---|---|---|
| leanprover-community/mathlib4 | 258 | 53 | 12 | 3 | 127 | 2025-02-01 |
| ericrbg/my_repo | 56 | 13 | 20 | 0 | 23 | 2024-01-10 |
| leanprover/lean4 | 7 | 0 | 2 | 2 | 3 | 2023-12-23 |
| nomeata/loogle | 3 | 0 | 0 | 1 | 2 | 2023-12-21 |
| leanprover/std4 | 3 | 0 | 0 | 2 | 1 | 2024-01-04 |
| leanprover-community/mathlib4-test | 2 | 0 | 1 | 0 | 1 | 2024-01-01 |
| bitwarden/clients | 2 | 0 | 0 | 0 | 2 | 2023-10-05 |
| YaelDillies/LeanCamCombi | 1 | 0 | 1 | 0 | 0 | 2024-11-04 |
| leanprover-community/flt-regular | 1 | 0 | 0 | 0 | 1 | 2023-09-26 |
| ericrbg/lean4 | 0 | 0 | 0 | 0 | 0 | 2023-10-27 |
| typst/typst | 0 | 0 | 0 | 0 | 0 | 2023-08-23 |
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 |
|---|---|---|
| alexjbest | 5 | |
| Ruben-VandeVelde | 4 | |
| Seasawher | 4 | |
| YaelDillies | 4 | |
| erdOne | 4 | |
| eric-wieser | 4 | |
| madvorak | 4 | |
| nomeata | 4 | |
| semorrison | 4 | |
| Copilot | 3 | |
| DenisGorbachev | 3 | |
| JamesGallicchio | 3 | |
| JiechengZhao | 3 | |
| JovanGerb | 3 | |
| Kha | 3 | |
| Komyyy | 3 | |
| MichaelStollBayreuth | 3 | |
| PatrickMassot | 3 | |
| SnirBroshi | 3 | |
| Vtec234 | 3 | |
| adomani | 3 | |
| alexkeizer | 3 | |
| alissa-tung | 3 | |
| alreadydone | 3 | |
| bollu | 3 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.