Mehbark
View on GitHub ↗active 2023-08-16 → 2025-01-31 (UTC) · 25 repositories
Complete coverage26,409 / 26,409 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-19 (UTC)
Events
78
Pushes
25
Pull requests
3
Issues
0
Reviews
2
Repositories
25
Activity over time
Daily event counts in the loaded window
Line chart, 535 days from 2023-08-16 to 2025-01-31. Pushes: 25 total, peak 6 in a day. Pull requests: 3 total, peak 1 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 |
|---|---|---|---|---|---|---|
| leanprover-community/batteries | 14 | 0 | 2 | 0 | 10 | 2025-01-31 |
| Mehbark/batteries | 12 | 12 | 0 | 0 | 0 | 2025-01-31 |
| Mehbark/rdl-server | 7 | 7 | 0 | 0 | 0 | 2024-01-10 |
| racket/racket | 4 | 0 | 1 | 0 | 3 | 2024-11-25 |
| Mehbark/racket | 3 | 3 | 0 | 0 | 0 | 2024-10-17 |
| Mehbark/nixpkgs | 1 | 1 | 0 | 0 | 0 | 2023-11-10 |
| Mehbark/nix | 1 | 1 | 0 | 0 | 0 | 2023-08-29 |
| Mehbark/Adset | 1 | 1 | 0 | 0 | 0 | 2024-01-09 |
| NixOS/nixpkgs | 0 | 0 | 0 | 0 | 0 | 2023-11-10 |
| Mehbark/lisp | 0 | 0 | 0 | 0 | 0 | 2025-01-30 |
| Mehbark/cohost | 0 | 0 | 0 | 0 | 0 | 2025-01-30 |
| rootdigitalleague/Adset | 0 | 0 | 0 | 0 | 0 | 2024-01-09 |
| leanprover/lean4 | 0 | 0 | 0 | 0 | 0 | 2025-01-30 |
| huhu/query.rs | 0 | 0 | 0 | 0 | 0 | 2024-11-07 |
| slime/slime | 0 | 0 | 0 | 0 | 0 | 2024-10-21 |
| Mehbark/justify | 0 | 0 | 0 | 0 | 0 | 2025-01-30 |
| sbcl/sbcl | 0 | 0 | 0 | 0 | 0 | 2025-01-30 |
| cpsdqs/prechoster | 0 | 0 | 0 | 0 | 0 | 2024-07-26 |
| Mynotaurus/Yingmotes | 0 | 0 | 0 | 0 | 0 | 2024-06-29 |
| Gabriella439/nixfmt | 0 | 0 | 0 | 0 | 0 | 2023-11-25 |
| NixOS/nix | 0 | 0 | 0 | 0 | 0 | 2023-08-16 |
| leo60228/hsmusicifier | 0 | 0 | 0 | 0 | 0 | 2024-12-15 |
| Mehbark/vscodemain | 0 | 0 | 0 | 0 | 0 | 2024-11-28 |
| leanprover-community/mathlib4 | 0 | 0 | 0 | 0 | 0 | 2025-01-30 |
| Bambosh/unofficial-homestuck-collection | 0 | 0 | 0 | 0 | 0 | 2023-08-20 |
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 |
|---|---|---|
| Copilot | 2 | |
| fgdorais | 2 | |
| 0art0 | 1 | |
| 414owen | 1 | |
| 6cdh | 1 | |
| AdrienChampion | 1 | |
| AlexKnauth | 1 | |
| AlexeyMilovanov | 1 | |
| Ancieg | 1 | |
| AndreiDuma | 1 | |
| AndreyPiterkin | 1 | |
| Arsennio | 1 | |
| Bogdanp | 1 | |
| BoltonBailey | 1 | |
| Colin166 | 1 | |
| CornFarmerNZ | 1 | |
| CutieDeng | 1 | |
| Efimero | 1 | |
| Ericson2314 | 1 | |
| FallenSky2077 | 1 | |
| FrozenWinters | 1 | |
| GZGavinZhao | 1 | |
| Garmelon | 1 | |
| Heuzi | 1 | |
| JaredCorduan | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.