- PRs merged
- 12
- Internal authors supported
- 3
- Currently active authors
- 3
- First merge
- Mar 24, 2023
- 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.
6
Current maintainers
6
Active leads
3
New active leads
3
Lead step-downs
0
Lead movements
0
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
@schnogz moved lead merge authority to Gemini.
Confirmed Oct 24, 2025 · Observed · Early maintainer
Last source merge Aug 18, 2022 · First destination merge Oct 24, 2025
@mpfluger moved lead merge authority to Map3.
Confirmed Jan 31, 2023 · Observed · Early maintainer
Last source merge Jun 7, 2022 · First destination merge Jan 31, 2023
@plondon moved lead merge authority to Map3.
Confirmed Dec 7, 2022 · Observed
Last source merge Sep 7, 2022 · First destination merge Oct 25, 2022
@0xs34n moved lead merge authority to Starknet.
Confirmed Oct 28, 2022 · Observed
Last source merge Dec 15, 2021 · First destination merge Oct 28, 2022