AdamHarries
View on GitHub ↗active 2023-10-19 → 2024-01-04 (UTC) · 4 repositories
Partial coverage20,299 / 26,040 hourly files (78%) · 2 absent upstream · 5,738 failed, retryable2023-08-24 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
16
Pushes
5
Pull requests
2
Issues
0
Reviews
2
Repositories
4
Activity over time
Daily event counts in the loaded window
Line chart, 78 days from 2023-10-19 to 2024-01-04. Pushes: 5 total, peak 3 in a day. Pull requests: 2 total, peak 2 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 |
|---|---|---|---|---|---|---|
| idris-lang/Idris2 | 7 | 0 | 2 | 0 | 3 | 2023-12-15 |
| AdamHarries/Idris2 | 5 | 5 | 0 | 0 | 0 | 2023-12-15 |
| purescript/purescript | 0 | 0 | 0 | 0 | 0 | 2024-01-04 |
| Donpedro13/etwprof | 0 | 0 | 0 | 0 | 0 | 2023-10-19 |
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 |
|---|---|---|
| 0xd34df00d | 1 | |
| Adowrath | 1 | |
| Alex1005a | 1 | |
| AlgebraicWolf | 1 | |
| Angeldude | 1 | |
| AntonPing | 1 | |
| Bersier | 1 | |
| Boomz10 | 1 | |
| CodingCellist | 1 | |
| DanMax03 | 1 | |
| FFFluoride | 1 | |
| Gadersd | 1 | |
| GulinSS | 1 | |
| GunpowderGuy | 1 | |
| Ibeeyusuf | 1 | |
| JavierGelatti | 1 | |
| JoeyEremondi | 1 | |
| Jyang772 | 1 | |
| LanHikari22 | 1 | |
| Liable5607 | 1 | |
| LiamGoodacre | 1 | |
| Matthew-Mosior | 1 | |
| MithicSpirit | 1 | |
| Russoul | 1 | |
| SlayerOfTheBad | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.