- PRs merged
- 101
- Internal authors supported
- 17
- Currently active authors
- 4
- First merge
- May 5, 2023
- 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.
22
Current maintainers
17
Active leads
3
New active leads
5
Lead step-downs
0
Lead movements
3
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
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@JereSalo moved lead merge authority to Miden.
Confirmed Apr 22, 2026 · Observed
Last source merge Jan 22, 2026 · First destination merge Feb 6, 2026
@fmoletta moved lead merge authority to Aligned Layer.
Confirmed Mar 5, 2026 · Observed · Early maintainer
Last source merge Dec 5, 2025 · First destination merge Dec 12, 2025
@gabrielbosio moved lead merge authority to Aligned Layer.
Confirmed Feb 5, 2026 · Observed · Early maintainer
Last source merge Nov 5, 2025 · First destination merge Dec 19, 2025
@gianbelinche moved lead merge authority to Aligned Layer.
Confirmed Jan 6, 2026 · Observed
Last source merge Oct 6, 2025 · First destination merge Dec 10, 2025
@juan518munoz moved lead merge authority to Miden.
Confirmed Nov 27, 2025 · Observed · Early maintainer
Last source merge Aug 27, 2025 · First destination merge Sep 24, 2025
@lima-limon-inc moved lead merge authority to Miden.
Confirmed Oct 28, 2025 · Observed
Last source merge Mar 14, 2025 · First destination merge Oct 28, 2025
@fkrause98 moved lead merge authority to Miden.
Confirmed Oct 22, 2025 · Observed · Early maintainer
Last source merge Jul 22, 2025 · First destination merge Jul 25, 2025
@gabrielbosio moved lead merge authority to Starknet.
Confirmed Sep 4, 2025 · Observed · Early maintainer
Last source merge Mar 21, 2025 · First destination merge Sep 4, 2025
@MarcosNicolau moved lead merge authority to Aligned Layer.
Confirmed Jun 27, 2025 · Observed
Last source merge Mar 27, 2025 · First destination merge Apr 21, 2025
@juan518munoz moved lead merge authority to EigenCloud.
Confirmed May 14, 2025 · Observed · Early maintainer
Last source merge Feb 14, 2025 · First destination merge Mar 6, 2025
@pefontana moved lead merge authority to Starknet.
Confirmed Mar 17, 2025 · Observed · Early maintainer
Last source merge Sep 4, 2024 · First destination merge Mar 17, 2025
@gianbelinche moved lead merge authority to EigenCloud.
Confirmed Feb 10, 2025 · Observed
Last source merge Sep 5, 2024 · First destination merge Feb 10, 2025
@juanbono moved lead merge authority to Starkware.
Confirmed Jan 27, 2025 · Observed · Early maintainer
Last source merge Jul 19, 2024 · First destination merge Jan 27, 2025
@MarcosNicolau moved lead merge authority to Aligned Layer.
Confirmed Dec 20, 2024 · Observed
Last source merge Sep 20, 2024 · First destination merge Nov 28, 2024
@rcatalan98 moved lead merge authority to Aligned Layer.
Confirmed Dec 16, 2024 · Observed · Early maintainer
Last source merge Jan 2, 2024 · First destination merge Dec 16, 2024
@IAvecilla moved lead merge authority to Aligned Layer.
Confirmed Dec 13, 2024 · Observed · Early maintainer
Last source merge Sep 13, 2024 · First destination merge Sep 27, 2024
@pablodeymo moved lead merge authority to EigenCloud.
Confirmed Nov 30, 2024 · Observed · Early maintainer
Last source merge Aug 30, 2024 · First destination merge Sep 17, 2024
@dubzn moved lead merge authority to Jokers Of Neon.
Confirmed Oct 31, 2024 · Observed
Last source merge Dec 15, 2023 · First destination merge Oct 31, 2024
@MegaRedHand moved lead merge authority to EigenCloud.
Confirmed Oct 19, 2024 · Observed · Early maintainer
Last source merge Jul 19, 2024 · First destination merge Oct 7, 2024
@ricomateo moved lead merge authority to EigenCloud.
Confirmed Oct 16, 2024 · Observed
Last source merge Jul 16, 2024 · First destination merge Oct 7, 2024