utaal-b
View on GitHub ↗active 2024-01-05 → 2024-03-29 (UTC) · 3 repositories
Complete coverage27,576 / 27,576 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-06 (UTC)
Events
412
Pushes
157
Pull requests
51
Issues
17
Reviews
52
Repositories
3
Activity over time
Daily event counts in the loaded window
Line chart, 85 days from 2024-01-05 to 2024-03-29. Pushes: 157 total, peak 15 in a day. Pull requests: 51 total, peak 5 in a day. Issues: 17 total, peak 6 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 |
|---|---|---|---|---|---|---|
| verus-lang/verus | 334 | 142 | 48 | 17 | 75 | 2024-03-29 |
| verus-lang/blog | 15 | 15 | 0 | 0 | 0 | 2024-02-18 |
| verus-lang/verusfmt | 5 | 0 | 3 | 0 | 2 | 2024-03-27 |
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 |
|---|---|---|
| jaybosamiya | 3 | |
| utaal | 3 | |
| Chris-Hawblitzel | 2 | |
| JakeGinesin | 2 | |
| JoPolzin | 2 | |
| TheodoreEhrenborg | 2 | |
| XuhengLi | 2 | |
| ahuoguo | 2 | |
| bbayazit16 | 2 | |
| bsdinis | 2 | |
| dschoepe | 2 | |
| hiroki-chen | 2 | |
| jaybosamiya-ms | 2 | |
| mmcloughlin | 2 | |
| parno | 2 | |
| pennyannn | 2 | |
| pratapsingh1729 | 2 | |
| rikosellic | 2 | |
| tjhance | 2 | |
| txiang61 | 2 | |
| zeldovich | 2 | |
| zhengyao-lin | 2 | |
| ziqiaozhou | 2 | |
| Asqiir | 1 | |
| BLepers | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.