Skip to content

active 2024-02-07 → 2025-02-25 (UTC) · 11 repositories

Complete coverage27,858 / 27,858 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-18 (UTC)
Events
63
Pushes
20
Pull requests
14
Issues
2
Reviews
7
Repositories
11

Activity over time

Daily event counts in the loaded window

Line chart, 386 days from 2024-02-07 to 2025-07-22. Pushes: 20 total, peak 8 in a day. Pull requests: 14 total, peak 5 in a day. Issues: 2 total, peak 2 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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
prcontrol/backend442014212025-02-25
t2linux/T2-Ubuntu-Kernel000002024-03-25
t2linux/fedora-iso000002024-03-25
leanprover-community/mathlib4000002025-01-03
B-Lang-org/bdw000002024-02-24
mikeeq/mbp-fedora000002024-03-21
JugendForscht-CoLoS/ComputeLocation000002024-03-18
B-Lang-org/bsc-contrib000002024-02-24
avoidik/homebrew-qemu-spice000002024-10-06
esa-tu-darmstadt/tapasco000002024-02-07
leanprover-community/mathematics_in_lean000002025-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

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.