Skip to content

active 2023-08-162025-01-18 (UTC) · 7 repositories

Partial coverage20,533 / 26,289 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-152026-08-14 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
77
Pushes
57
Pull requests
6
Issues
1
Reviews
1
Repositories
7

Activity over time

Daily event counts in the loaded window

Line chart, 522 days from 2023-08-16 to 2025-01-18. Pushes: 57 total, peak 13 in a day. Pull requests: 6 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
Bronsa/.emacs.d33330002025-01-18
imandra-ai/imandra-stdlib1191102023-09-27
Bronsa/tools.decompiler752002023-08-27
imandra-ai/ipl-mode741012024-02-07
imandra-ai/imandra-http-api-client431002024-10-11
clojure/tools.reader421012023-11-08
imandra-ai/fix-engine110002023-09-01

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.