- PRs merged
- 85
- Internal authors supported
- 14
- Currently active authors
- 0
- First merge
- Apr 29, 2021
- Last merge
- Jun 27, 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.
2
Current maintainers
1
Active leads
1
New active leads
4
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
@ecioppettini moved lead merge authority to Paima Studios.
Confirmed Nov 1, 2025 · Observed
Last source merge Aug 1, 2025 · First destination merge Sep 27, 2025
@ecioppettini moved lead merge authority to Paima Studios.
Confirmed Mar 24, 2025 · Observed
Last source merge Oct 1, 2024 · First destination merge Mar 24, 2025
@SebastienGllmt moved lead merge authority to Paima Studios.
Confirmed Jan 9, 2025 · Observed · Early maintainer
Last source merge Oct 9, 2024 · First destination merge Dec 27, 2024
@Mercurial moved lead merge authority to TxPipe.
Confirmed Apr 3, 2024 · Observed
Last source merge Apr 11, 2022 · First destination merge Apr 3, 2024
@NicolasDP moved lead merge authority to IOHK.
Confirmed Feb 13, 2024 · Observed · Early maintainer
Last source merge Sep 20, 2022 · First destination merge Feb 13, 2024
@mirtyl-wacdec moved lead merge authority to Paima Studios.
Confirmed Nov 9, 2022 · Observed
Last source merge Nov 18, 2021 · First destination merge Nov 9, 2022
@robkorn moved lead merge authority to Paima Studios.
Confirmed Oct 27, 2022 · Observed · Early maintainer
Last source merge Apr 29, 2022 · First destination merge Oct 27, 2022
@rvcas moved lead merge authority to Aiken.
Confirmed Jun 17, 2022 · Observed · Early maintainer
Last source merge Mar 11, 2022 · First destination merge Jun 17, 2022
@heypran moved lead merge authority to Zk- Block | Tools for Zk & Web3 Dapps.
Confirmed Mar 9, 2022 · Observed · Early maintainer
Last source merge Dec 9, 2021 · First destination merge Jan 12, 2022