HamelinDavid
View on GitHub ↗active 2023-12-28 → 2024-11-01 (UTC) · 6 repositories
Complete coverage27,308 / 27,311 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
25
Pushes
16
Pull requests
0
Issues
1
Reviews
0
Repositories
6
Activity over time
Daily event counts in the loaded window
Line chart, 310 days from 2023-12-28 to 2024-11-01. Pushes: 16 total, peak 5 in a day. Pull requests: 0 total, peak 0 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 |
|---|---|---|---|---|---|---|
| HamelinDavid/smugglrs | 9 | 9 | 0 | 0 | 0 | 2024-11-01 |
| HamelinDavid/emacs-manager | 5 | 5 | 0 | 0 | 0 | 2024-09-22 |
| HamelinDavid/emacs-coq | 2 | 2 | 0 | 0 | 0 | 2024-09-22 |
| oxalica/nil | 1 | 0 | 0 | 1 | 0 | 2023-12-28 |
| coq/coq | 0 | 0 | 0 | 0 | 0 | 2024-10-01 |
| oxalica/nocargo | 0 | 0 | 0 | 0 | 0 | 2024-01-03 |
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 |
|---|---|---|
| 9999years | 1 | |
| CPardi | 1 | |
| Celibistrial | 1 | |
| Cool-Game-Dev | 1 | |
| DamienCassou | 1 | |
| DrymarchonShaun | 1 | |
| FatBoyXPC | 1 | |
| Feel-ix-343 | 1 | |
| GetPsyched | 1 | |
| IogaMaster | 1 | |
| Ma27 | 1 | |
| MaartenStaa | 1 | |
| MathiasSven | 1 | |
| Mic92 | 1 | |
| Nilstrieb | 1 | |
| NobbZ | 1 | |
| NovaViper | 1 | |
| Onyad | 1 | |
| Petrusion | 1 | |
| Redhawk18 | 1 | |
| SamuelKurtzer | 1 | |
| SandaruKasa | 1 | |
| Septias | 1 | |
| Shahab96 | 1 | |
| SharzyL | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.