LizBonn
View on GitHub ↗active 2023-09-23 → 2025-03-28 (UTC) · 9 repositories
Complete coverage28,378 / 28,378 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-09 (UTC)
Events
48
Pushes
24
Pull requests
8
Issues
0
Reviews
1
Repositories
9
Activity over time
Daily event counts in the loaded window
Line chart, 553 days from 2023-09-23 to 2025-03-28. Pushes: 24 total, peak 4 in a day. Pull requests: 8 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 |
|---|---|---|---|---|---|---|
| LizBonn/RubikCubeGame | 11 | 9 | 2 | 0 | 0 | 2025-02-28 |
| Blackfeather007/tactics-in-lean | 8 | 5 | 2 | 0 | 0 | 2025-01-08 |
| LizBonn/EG-yxt | 7 | 7 | 0 | 0 | 0 | 2024-01-14 |
| XintaoYu/PizzaGameLean4 | 5 | 3 | 2 | 0 | 0 | 2025-03-28 |
| XintaoYu/EG | 2 | 0 | 2 | 0 | 0 | 2023-12-08 |
| LizBonn/RamificationGroup | 0 | 0 | 0 | 0 | 0 | 2024-04-21 |
| jjdishere/EG | 0 | 0 | 0 | 0 | 0 | 2023-11-08 |
| timechess/paper-search-engine | 0 | 0 | 0 | 0 | 0 | 2025-02-18 |
| leanprover-community/mathematics_in_lean | 0 | 0 | 0 | 0 | 0 | 2023-09-23 |
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 |
|---|---|---|
| XintaoYu | 3 | |
| timechess | 3 | |
| jjdishere | 2 | |
| Akwardbro | 1 | |
| Blackfeather007 | 1 | |
| Prowler99 | 1 | |
| ShouxinZhang | 1 | |
| Xuchun-Li | 1 | |
| pelicanhere | 1 | |
| quizas211 | 1 | |
| yuanyi-350 | 1 | |
| zhangtengyu0523 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.