@pgomCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 19, 2017
- Last merge
- Aug 7, 2026
Active leadEarly maintainer
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.
19
Current maintainers
17
Active leads
13
New active leads
6
Lead step-downs
0
Lead movements
2
Early lead departures
@AlonzoRicardo moved lead merge authority to Tether.
Confirmed Jun 12, 2025 · Observed
Last source merge Jun 1, 2023 · First destination merge Jun 12, 2025