- PRs merged
- 188
- Internal authors supported
- 5
- Currently active authors
- 1
- First merge
- Jan 19, 2022
- Last merge
- May 29, 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.
2
Current maintainers
2
Active leads
2
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
@nhtyy moved lead merge authority to Succinct.
Confirmed Nov 16, 2024 · Observed
Last source merge Jun 3, 2024 · First destination merge Nov 16, 2024
@ControlCplusControlV moved lead merge authority to Manifold Finance.
Confirmed Aug 23, 2024 · Observed
Last source merge May 23, 2024 · First destination merge Jul 3, 2024
@r0ohafza moved lead merge authority to Splits.
Confirmed Oct 20, 2023 · Observed · Early maintainer
Last source merge Jun 25, 2023 · First destination merge Oct 20, 2023