- PRs merged
- 4
- Internal authors supported
- 3
- Currently active authors
- 1
- First merge
- Oct 30, 2024
- Last merge
- Aug 7, 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.
5
Current maintainers
5
Active leads
2
New active leads
2
Lead step-downs
0
Lead movements
1
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
Internal authors whose PRs they merged
@jobjo moved lead merge authority to Tezos.
Confirmed Apr 17, 2026 · Observed
Last source merge Jul 21, 2025 · First destination merge Apr 17, 2026
@iurinunu moved lead merge authority to Trilitech.
Confirmed Feb 6, 2025 · Observed
Last source merge Oct 16, 2024 · First destination merge Feb 6, 2025
@sasha-computer moved lead merge authority to Boundless Networks, Inc..
Confirmed Aug 21, 2024 · Observed · Early maintainer
Last source merge May 21, 2024 · First destination merge Jun 13, 2024