- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Oct 10, 2016
- Last merge
- May 5, 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.
1
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
@benjaminion moved lead merge authority to Linea.
Confirmed Oct 12, 2023 · Observed · Early maintainer
Last source merge Jul 12, 2023 · First destination merge Jul 27, 2023
@benjaminion moved lead merge authority to Linea.
Confirmed May 9, 2022 · Observed · Early maintainer
Last source merge Feb 9, 2022 · First destination merge Mar 19, 2022
@benjaminion moved lead merge authority to Linea.
Confirmed May 26, 2021 · Observed · Early maintainer
Last source merge Jan 2, 2021 · First destination merge May 26, 2021
@benjaminion moved lead merge authority to Linea.
Confirmed Sep 25, 2018 · Observed · Early maintainer
Last source merge Oct 10, 2016 · First destination merge Sep 25, 2018