- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Nov 20, 2022
- Last merge
- Dec 18, 2024
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.
0
Current maintainers
0
Active leads
0
New active leads
0
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
@nikkaroraa moved lead merge authority to Katana.
Confirmed Feb 20, 2026 · Observed
Last source merge Dec 18, 2024 · First destination merge Feb 20, 2026
@haythemsellami moved lead merge authority to Euler Labs.
Confirmed Oct 17, 2024 · Observed · Early maintainer
Last source merge Mar 22, 2023 · First destination merge Oct 17, 2024
@CruzMolina moved lead merge authority to Ink.
Confirmed Jul 17, 2024 · Observed · Early maintainer
Last source merge Sep 1, 2021 · First destination merge Jul 17, 2024
@antoncoding moved lead merge authority to Grappa Finance.
Confirmed May 24, 2022 · Observed · Early maintainer
Last source merge Jan 26, 2022 · First destination merge May 24, 2022
@lmcorbalan moved lead merge authority to Protofire.
Confirmed Jun 19, 2020 · Observed · Early maintainer
Last source merge Mar 19, 2020 · First destination merge Apr 28, 2020
@moodysalem moved lead merge authority to Uniswap.
Confirmed Apr 15, 2020 · Observed
Last source merge Nov 30, 2019 · First destination merge Apr 15, 2020