Skip to content

active 2023-08-222024-09-30 (UTC) · 12 repositories

Complete coverage26,392 / 26,392 hourly files (100%) · 2 absent upstream2023-08-152026-08-18 (UTC)
Events
38
Pushes
17
Pull requests
5
Issues
1
Reviews
1
Repositories
12

Activity over time

Daily event counts in the loaded window

Line chart, 406 days from 2023-08-22 to 2024-09-30. Pushes: 17 total, peak 3 in a day. Pull requests: 5 total, peak 2 in a day. Issues: 1 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
nbbl/advent-of-code-202311110002023-12-10
keycloak/keycloak501122024-09-24
Fryie/database.c411022024-03-27
Fryie/keycloak220002023-10-12
confluentinc/kafka-rest200022024-05-21
leanprover-community/mathlib4101002024-05-22
Fryie/semaphore110002024-03-21
ansible-semaphore/semaphore101002024-03-21
Fryie/mathematics_in_lean_source110002024-05-01
avigad/mathematics_in_lean_source101002024-05-01
gradle/gradle100012023-08-28
Fryie/dotfiles110002024-09-30

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.