JanaGoeken
View on GitHub ↗active 2023-08-15 → 2024-09-01 (UTC) · 5 repositories
Complete coverage28,144 / 28,144 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-30 (UTC)
Events
70
Pushes
51
Pull requests
4
Issues
1
Reviews
1
Repositories
5
Activity over time
Daily event counts in the loaded window
Line chart, 384 days from 2023-08-15 to 2024-09-01. Pushes: 51 total, peak 10 in a day. Pull requests: 4 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 |
|---|---|---|---|---|---|---|
| leanprover-community/mathlib4 | 21 | 13 | 3 | 0 | 4 | 2024-04-08 |
| JanaGoeken/ICMS2024QuadraticFieldIntegers | 16 | 16 | 0 | 0 | 0 | 2024-09-01 |
| EmilieUthaiwat/LFTCM2024 | 15 | 15 | 0 | 0 | 0 | 2024-03-29 |
| leanprover-community/blog | 10 | 7 | 1 | 0 | 2 | 2023-08-27 |
| LaGuer/SixtySecondsCV | 1 | 0 | 0 | 1 | 0 | 2023-11-01 |
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 |
|---|---|---|
| Vierkantor | 3 | |
| 101damnations | 2 | |
| AlexKontorovich | 2 | |
| BoltonBailey | 2 | |
| EmilieUthaiwat | 2 | |
| Kiolt | 2 | |
| MichaelStollBayreuth | 2 | |
| PatrickMassot | 2 | |
| Paul-Lez | 2 | |
| RemyDegenne | 2 | |
| Rida-Hamadani | 2 | |
| Ruben-VandeVelde | 2 | |
| SnirBroshi | 2 | |
| TwoFX | 2 | |
| YaelDillies | 2 | |
| adomani | 2 | |
| alreadydone | 2 | |
| b-mehta | 2 | |
| bryangingechen | 2 | |
| dagurtomas | 2 | |
| digama0 | 2 | |
| edegeltje | 2 | |
| emilyriehl | 2 | |
| erdOne | 2 | |
| eric-wieser | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.