Skip to content

active 2023-10-182024-03-29 (UTC) · 3 repositories

Complete coverage26,659 / 26,659 hourly files (100%) · 2 absent upstream2023-08-152026-08-29 (UTC)
Events
21
Pushes
8
Pull requests
6
Issues
0
Reviews
0
Repositories
3

Activity over time

Daily event counts in the loaded window

Line chart, 164 days from 2023-10-18 to 2024-03-29. Pushes: 8 total, peak 3 in a day. Pull requests: 6 total, peak 3 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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
Ataru2002/TutoringSlugs1376002023-12-05
srammaha/Sarah-Scenic110002024-03-29
BerkeleyLearnVerify/Scenic000002024-03-29

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.