- PRs merged
- 55
- Internal authors supported
- 13
- Currently active authors
- 0
- First merge
- Oct 6, 2023
- Last merge
- Feb 14, 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.
0
Current maintainers
0
Active leads
0
New active leads
1
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
@nonergodic moved lead merge authority to Wormhole.
Confirmed Oct 2, 2025 · Observed
Last source merge Dec 10, 2024 · First destination merge Oct 2, 2025
@kev1n-peters moved lead merge authority to Mayan.
Confirmed Jun 20, 2025 · Observed
Last source merge Mar 3, 2023 · First destination merge Jun 20, 2025
@M-Picco moved lead merge authority to Wormhole.
Confirmed Dec 19, 2024 · Observed · Early maintainer
Last source merge Sep 19, 2024 · First destination merge Dec 13, 2024
@M-Picco moved lead merge authority to Wormhole.
Confirmed Jul 10, 2024 · Observed · Early maintainer
Last source merge Jan 4, 2024 · First destination merge Jul 10, 2024
@scnale moved lead merge authority to Wormhole.
Confirmed Jun 18, 2024 · Observed · Early maintainer
Last source merge Mar 13, 2024 · First destination merge Jun 18, 2024
@iturricf moved lead merge authority to Wormhole.
Confirmed Apr 2, 2024 · Observed
Last source merge Nov 27, 2023 · First destination merge Apr 2, 2024
@valentinoConti moved lead merge authority to Wormhole.
Confirmed Apr 2, 2024 · Observed
Last source merge Jan 2, 2024 · First destination merge Mar 29, 2024
@abhidtu2014 moved lead merge authority to Wormhole.
Confirmed Mar 21, 2024 · Observed
Last source merge Dec 4, 2023 · First destination merge Mar 21, 2024
@mat1asm moved lead merge authority to Wormhole.
Confirmed Mar 12, 2024 · Observed
Last source merge Sep 6, 2023 · First destination merge Mar 12, 2024
@CiottiGiorgio moved lead merge authority to Algorand Foundation.
Confirmed Sep 12, 2023 · Observed
Last source merge May 29, 2023 · First destination merge Sep 12, 2023