LisaLevelt42
View on GitHub ↗active 2025-02-28 → 2025-10-17 (UTC) · 3 repositories
Partial coverage11,970 / 13,463 hourly files (89%) · 2 absent upstream · 1,489 failed, retryable2025-01-27 → 2026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
14
Pushes
2
Pull requests
3
Issues
1
Reviews
1
Repositories
3
Activity over time
Daily event counts in the loaded window
Line chart, 232 days from 2025-02-28 to 2025-10-17. Pushes: 2 total, peak 1 in a day. Pull requests: 3 total, peak 2 in a day. Issues: 1 total, peak 1 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 |
|---|---|---|---|---|---|---|
| LisaLevelt42/Formal-Methods | 7 | 1 | 3 | 1 | 1 | 2025-10-17 |
| aaronpeikert/repro-collab | 3 | 0 | 0 | 0 | 3 | 2025-10-17 |
| LisaLevelt42/website | 1 | 1 | 0 | 0 | 0 | 2025-02-28 |
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 |
|---|---|---|
| aaronpeikert | 2 | |
| AlessandraFa | 1 | |
| Annawks | 1 | |
| Ch-Eckl | 1 | |
| Copilot | 1 | |
| DwGiTe | 1 | |
| Erandi22 | 1 | |
| GabrielaXQuintais | 1 | |
| HannesDiemerling | 1 | |
| Ilija-Srpak | 1 | |
| JHYOON88 | 1 | |
| KuznetsovDima | 1 | |
| Lakens | 1 | |
| LaurenzLammer | 1 | |
| LeimLarissa | 1 | |
| LeonieHagitte | 1 | |
| Malschuetzky | 1 | |
| MariaArroyoA | 1 | |
| Marisha-Herb | 1 | |
| Maximilian-Stefan-Ernst | 1 | |
| My1stemily | 1 | |
| MythicalA | 1 | |
| N-Leach | 1 | |
| NitinBohra98 | 1 | |
| Raphael-Merz | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.