- PRs merged
- 765
- Internal authors supported
- 9
- Currently active authors
- 6
- First merge
- Mar 27, 2023
- Last merge
- Aug 8, 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.
7
Current maintainers
7
Active leads
2
New active leads
1
Lead step-downs
2
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
@qwang98 moved lead merge authority to Succinct.
Confirmed Jul 16, 2026 · Active
Last source merge Jan 13, 2026 · First destination merge Jul 16, 2026
@Schaeff moved lead merge authority to Succinct.
Confirmed Jul 13, 2026 · Active
Last source merge Mar 18, 2026 · First destination merge Jul 13, 2026
@kuzdogan moved lead merge authority to Sourcify.
Confirmed Feb 8, 2025 · Observed
Last source merge Nov 8, 2024 · First destination merge Dec 23, 2024