- PRs merged
- 168
- Internal authors supported
- 3
- Currently active authors
- 0
- First merge
- Jun 10, 2020
- Last merge
- Jun 3, 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.
1
Current maintainers
1
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
@aviggiano moved lead merge authority to Size Credit.
Confirmed Dec 12, 2023 · Observed · Early maintainer
Last source merge Mar 13, 2023 · First destination merge Dec 12, 2023
@razgraf moved lead merge authority to Sablier.
Confirmed May 8, 2022 · Observed · Early maintainer
Last source merge Feb 8, 2022 · First destination merge Mar 7, 2022