- PRs merged
- 101
- Internal authors supported
- 7
- Currently active authors
- 0
- First merge
- Oct 28, 2017
- Last merge
- Jan 20, 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
@iostat moved lead merge authority to o1Labs.
Confirmed Dec 19, 2025 · Observed · Early maintainer
Last source merge Sep 16, 2023 · First destination merge Dec 19, 2025
@martyall moved lead merge authority to Mina Protocol.
Confirmed Apr 20, 2025 · Observed · Early maintainer
Last source merge Jan 20, 2025 · First destination merge Apr 6, 2025
@martyall moved lead merge authority to Mina Protocol.
Confirmed Sep 5, 2024 · Observed · Early maintainer
Last source merge Jun 5, 2024 · First destination merge Jul 17, 2024
@g-a-v-i-n moved lead merge authority to Urbit.
Confirmed Jun 14, 2018 · Observed · Early maintainer
Last source merge Nov 28, 2017 · First destination merge Jun 14, 2018