- PRs merged
- 8
- Internal authors supported
- 5
- Currently active authors
- 2
- First merge
- May 11, 2021
- Last merge
- Jul 31, 2026
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.
4
Current maintainers
3
Active leads
1
New active leads
2
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
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@eranrund moved lead merge authority to Aleo Network Foundation.
Confirmed Jan 24, 2026 · Observed · Early maintainer
Last source merge Oct 24, 2025 · First destination merge Dec 9, 2025
@briancorbin moved lead merge authority to Capsule.
Confirmed Jun 26, 2024 · Observed · Early maintainer
Last source merge Nov 28, 2023 · First destination merge Jun 26, 2024
@opencolin moved lead merge authority to Linea.
Confirmed Oct 27, 2023 · Observed · Early maintainer
Last source merge Sep 22, 2022 · First destination merge Oct 27, 2023