MAiNGO-github
View on GitHub ↗active 2023-12-15 → 2025-01-02 (UTC) · 9 repositories
Complete coverage26,338 / 26,338 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-16 (UTC)
Events
116
Pushes
52
Pull requests
7
Issues
4
Reviews
11
Repositories
9
Activity over time
Daily event counts in the loaded window
Line chart, 385 days from 2023-12-15 to 2025-01-02. Pushes: 52 total, peak 10 in a day. Pull requests: 7 total, peak 1 in a day. Issues: 4 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| MAiNGO-github/MAiNGO.jl | 25 | 6 | 3 | 3 | 12 | 2024-06-17 |
| MAiNGO-github/pyomo | 23 | 23 | 0 | 0 | 0 | 2024-04-30 |
| MAiNGO-github/Yggdrasil | 17 | 17 | 0 | 0 | 0 | 2024-06-17 |
| JuliaPackaging/Yggdrasil | 16 | 0 | 2 | 1 | 8 | 2025-01-02 |
| Pyomo/pyomo | 15 | 0 | 1 | 0 | 9 | 2024-05-28 |
| odow/MAiNGO.jl | 6 | 6 | 0 | 0 | 0 | 2024-05-24 |
| jump-dev/JuMP.jl | 3 | 0 | 1 | 0 | 2 | 2024-05-29 |
| JuliaRegistries/General | 1 | 0 | 0 | 0 | 1 | 2024-02-21 |
| MAiNGO-github/JuMP.jl | 0 | 0 | 0 | 0 | 0 | 2024-03-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
| Contributor | Shared repos | Repositories in common |
|---|---|---|
| odow | 6 | |
| JuliaRegistrator | 4 | |
| ZedongPeng | 4 | |
| Downsite | 3 | |
| JuliaTagBot | 3 | |
| MilesCranmer | 3 | |
| Robbybp | 3 | |
| amontoison | 3 | |
| araujoms | 3 | |
| blegat | 3 | |
| davidanthoff | 3 | |
| dourouc05 | 3 | |
| ericphanson | 3 | |
| imciner2 | 3 | |
| langestefan | 3 | |
| matbesancon | 3 | |
| samuelsonric | 3 | |
| sstroemer | 3 | |
| wsmoses | 3 | |
| AbrJA | 2 | |
| Alexander-Barth | 2 | |
| ArrogantGao | 2 | |
| ArseniyKholod | 2 | |
| Beforerr | 2 | |
| BenChung | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.