- PRs merged
- 147
- Internal authors supported
- 5
- Currently active authors
- 0
- First merge
- Dec 19, 2018
- Last merge
- Sep 25, 2023
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
@drortirosh moved lead merge authority to Infinitism.
Confirmed Nov 19, 2025 · Observed · Early maintainer
Last source merge Feb 2, 2023 · First destination merge Nov 19, 2025
@shahafn moved lead merge authority to Infinitism.
Confirmed Jul 17, 2024 · Observed
Last source merge Mar 16, 2023 · First destination merge Jul 17, 2024
@forshtat moved lead merge authority to Infinitism.
Confirmed May 9, 2024 · Observed
Last source merge Sep 25, 2023 · First destination merge May 9, 2024
@shahafn moved lead merge authority to Infinitism.
Confirmed Dec 13, 2022 · Observed
Last source merge Aug 30, 2022 · First destination merge Dec 13, 2022
@nventuro moved lead merge authority to Balancer.
Confirmed Sep 7, 2020 · Observed
Last source merge Sep 17, 2019 · First destination merge Sep 7, 2020