@GianlucaMinoprioCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 14, 2025
- Last merge
- Aug 8, 2026
Active lead
Open GitHub profile ↗Maintainer signals as of Aug 10, 2026
This view starts from the canonical internal-employee model. A maintainer is an internal employee who merged at least one pull request in a non-fork repository; external contributors, bots, and PR authors are not treated as causal. Active leads have merged within the last three months.
4
Current maintainers
4
Active leads
2
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
@markusbug moved lead merge authority to EthereumPhone.
Confirmed Aug 14, 2024 · Observed
Last source merge Aug 18, 2023 · First destination merge Aug 14, 2024
@ryansmith3136 moved lead merge authority to Lattice.
Confirmed Jul 4, 2024 · Observed
Last source merge Feb 6, 2024 · First destination merge Jul 4, 2024