Skip to content

active 2023-08-22 → 2024-11-25 (UTC) · 12 repositories

Complete coverage27,376 / 27,376 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-28 (UTC)
Events
197
Pushes
73
Pull requests
14
Issues
3
Reviews
32
Repositories
12

Activity over time

Daily event counts in the loaded window

Line chart, 462 days from 2023-08-22 to 2024-11-25. Pushes: 73 total, peak 8 in a day. Pull requests: 14 total, peak 2 in a day. Issues: 3 total, peak 1 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
diffkemp/diffkemp69051372024-11-03
FrNecas/diffkemp65650002024-11-25
viktormalik/diffkemp1505162024-03-08
apache/arrow1201082023-09-21
shrBadihi/EqBench401122024-04-10
FrNecas/arrow330002023-08-24
FrNecas/2ls330002023-11-24
diffblue/2ls301022023-11-24
FrNecas/commit-analysis220002024-06-28
peterschrammel/cbmc101002023-11-21
FrNecas/cbmc000002023-11-20
FrNecas/EqBench000002024-03-17

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.