dsb-y
View on GitHub ↗active 2023-09-05 → 2023-11-12 (UTC) · 4 repositories
Complete coverage26,645 / 26,645 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-29 (UTC)
Events
10
Pushes
1
Pull requests
0
Issues
4
Reviews
0
Repositories
4
Activity over time
Daily event counts in the loaded window
Line chart, 69 days from 2023-09-05 to 2023-11-12. Pushes: 1 total, peak 1 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 4 total, peak 3 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| bkerler/edl | 4 | 0 | 0 | 1 | 3 | 2023-11-12 |
| Julian/lean.nvim | 3 | 0 | 0 | 2 | 1 | 2023-09-05 |
| leanprover/leanprover.github.io | 2 | 0 | 0 | 1 | 1 | 2023-09-05 |
| emgomezd/Astrolab | 1 | 1 | 0 | 0 | 0 | 2023-10-23 |
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
| Contributor | Shared repos | Repositories in common |
|---|---|---|
| Julian | 2 | |
| 0312birdzhang | 1 | |
| 0v3rfl00w | 1 | |
| 0xssff | 1 | |
| 1990scottjenkins | 1 | |
| 1alessandro1 | 1 | |
| 21010572NguyenTX | 1 | |
| 2490Isma | 1 | |
| 532910 | 1 | |
| 779936515 | 1 | |
| AKosterin | 1 | |
| ATMxsp01 | 1 | |
| AgentSteel | 1 | |
| AleXoundOS | 1 | |
| AliRazaManzoor | 1 | |
| Andrew-J-Larson | 1 | |
| AntoineMahe | 1 | |
| Arusekk | 1 | |
| ArvinSKushwaha | 1 | |
| AskAlice | 1 | |
| Baddad23 | 1 | |
| BeeFox-sys | 1 | |
| Begzar | 1 | |
| Ben10164 | 1 | |
| BlairSadewitz | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.