- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Jun 1, 2022
- Last merge
- Jul 30, 2025
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
@svarcoder moved lead merge authority to Avail.
Confirmed Oct 23, 2025 · Observed
Last source merge Jul 23, 2025 · First destination merge Sep 22, 2025
@shrinathprabhu moved lead merge authority to Avail.
Confirmed Apr 14, 2025 · Observed · Early maintainer
Last source merge Jan 14, 2025 · First destination merge Apr 2, 2025
@mmjee moved lead merge authority to Avail.
Confirmed Feb 23, 2023 · Observed · Early maintainer
Last source merge Aug 13, 2022 · First destination merge Feb 23, 2023