- PRs merged
- 76
- Internal authors supported
- 8
- Currently active authors
- 8
- First merge
- May 20, 2024
- Last merge
- Aug 7, 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.
10
Current maintainers
10
Active leads
1
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
Internal authors whose PRs they merged
@WooSungD moved lead merge authority to Velodrome Finance.
Confirmed Sep 17, 2025 · Observed · Early maintainer
Last source merge Feb 6, 2024 · First destination merge Sep 17, 2025
@0x19 moved lead merge authority to Tenderly.
Confirmed May 28, 2025 · Observed · Early maintainer
Last source merge Dec 19, 2024 · First destination merge May 28, 2025
@AlexTheLion123 moved lead merge authority to Trading Strategy.
Confirmed Sep 12, 2024 · Observed · Early maintainer
Last source merge Jun 12, 2024 · First destination merge Jul 5, 2024