- PRs merged
- 21
- Internal authors supported
- 5
- Currently active authors
- 1
- First merge
- Feb 16, 2026
- Last merge
- Aug 5, 2026
Internal authors whose PRs they merged
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.
1
Current maintainers
1
Active leads
0
New active leads
5
Lead step-downs
2
Lead movements
1
Early lead departures
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@robrigo moved lead merge authority to Pink.gg.
Confirmed Jul 9, 2026 · Active · Early maintainer
Last source merge Oct 27, 2018 · First destination merge Jul 9, 2026
@poplexity moved lead merge authority to Flashnet.
Confirmed May 16, 2026 · Active · Early maintainer
Last source merge Feb 16, 2026 · First destination merge May 3, 2026
@igorls moved lead merge authority to EOSRIO.
Confirmed Oct 9, 2021 · Observed · Early maintainer
Last source merge Jul 9, 2021 · First destination merge Jul 21, 2021
@smilingkylan moved lead merge authority to Edge.
Confirmed Jan 19, 2021 · Observed · Early maintainer
Last source merge Oct 19, 2020 · First destination merge Nov 11, 2020
@pacwoodson moved lead merge authority to Mooni.
Confirmed Nov 26, 2019 · Observed
Last source merge Mar 26, 2019 · First destination merge Nov 26, 2019