mww-aws
View on GitHub ↗active 2023-09-28 → 2024-04-18 (UTC) · 3 repositories
Complete coverage28,370 / 28,370 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-09 (UTC)
Events
5
Pushes
0
Pull requests
0
Issues
3
Reviews
0
Repositories
3
Activity over time
Daily event counts in the loaded window
Line chart, 204 days from 2023-09-28 to 2024-04-18. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 3 total, peak 2 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 |
|---|---|---|---|---|---|---|
| leanprover-community/lean-auto | 3 | 0 | 0 | 2 | 1 | 2023-12-07 |
| ipasir2/ipasir2 | 1 | 0 | 0 | 1 | 0 | 2023-09-28 |
| mww-aws/segregation-simulation | 0 | 0 | 0 | 0 | 0 | 2024-04-18 |
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 |
|---|---|---|
| AdrienChampion | 1 | |
| DenisGorbachev | 1 | |
| JOSHCLUNE | 1 | |
| PratherConid | 1 | |
| Udopia | 1 | |
| abdoo8080 | 1 | |
| atomb | 1 | |
| dranov | 1 | |
| epertseva-galois | 1 | |
| fkutzner | 1 | |
| giuliasindoni | 1 | |
| hanwenzhu | 1 | |
| m-fleury | 1 | |
| semorrison | 1 | |
| shigoel | 1 | |
| sirandreww | 1 | |
| threonorm | 1 | |
| volodeyka | 1 | |
| ymherklotz | 1 | |
| znssong | 1 | |
| zqy1018 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.