- PRs merged
- 7
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Jun 13, 2022
- Last merge
- May 19, 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
Internal authors whose PRs they merged
@MarvinJanssen moved lead merge authority to Stacks.
Confirmed Mar 27, 2024 · Observed · Early maintainer
Last source merge Jan 9, 2023 · First destination merge Mar 27, 2024
@friedger moved lead merge authority to Trust Machines.
Confirmed Nov 21, 2023 · Observed · Early maintainer
Last source merge May 19, 2023 · First destination merge Nov 21, 2023
@friedger moved lead merge authority to Trust Machines.
Confirmed Mar 30, 2023 · Observed · Early maintainer
Last source merge Dec 8, 2022 · First destination merge Mar 30, 2023
@MarvinJanssen moved lead merge authority to Hiro.
Confirmed Aug 25, 2021 · Observed · Early maintainer
Last source merge May 25, 2021 · First destination merge Jun 19, 2021