- PRs merged
- 32
- Internal authors supported
- 5
- Currently active authors
- 1
- First merge
- Nov 2, 2023
- Last merge
- Aug 6, 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.
5
Current maintainers
5
Active leads
1
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
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@skypper moved lead merge authority to Tenderly.
Confirmed Feb 26, 2026 · Observed
Last source merge Aug 24, 2023 · First destination merge Feb 26, 2026
@alexshchur moved lead merge authority to Fhenix.
Confirmed Jan 10, 2026 · Observed
Last source merge Oct 10, 2025 · First destination merge Oct 20, 2025
@alethander moved lead merge authority to Nethermind.
Confirmed Jan 17, 2024 · Observed
Last source merge May 18, 2021 · First destination merge Jan 17, 2024
@Louis-Amas moved lead merge authority to Mangrove.
Confirmed Apr 25, 2023 · Observed · Early maintainer
Last source merge Jan 3, 2023 · First destination merge Apr 25, 2023
@nduchak moved lead merge authority to Sky.
Confirmed Apr 15, 2022 · Observed · Early maintainer
Last source merge Dec 23, 2021 · First destination merge Apr 15, 2022