- PRs merged
- 7
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Mar 29, 2020
- Last merge
- Sep 1, 2025
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
0
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
@0xmichalis moved lead merge authority to Arrakis Finance.
Confirmed Jan 31, 2026 · Observed · Early maintainer
Last source merge May 8, 2025 · First destination merge Jan 31, 2026
@aspiers moved lead merge authority to Hypercerts.
Confirmed Dec 1, 2025 · Observed · Early maintainer
Last source merge Sep 1, 2025 · First destination merge Nov 6, 2025
@pheuberger moved lead merge authority to Hypercerts.
Confirmed Jan 8, 2025 · Observed
Last source merge Jul 8, 2024 · First destination merge Jan 8, 2025
@GigaHierz moved lead merge authority to Celo.
Confirmed Jul 12, 2024 · Observed
Last source merge Oct 18, 2023 · First destination merge Jul 12, 2024
@aspiers moved lead merge authority to Panther Protocol.
Confirmed Nov 23, 2021 · Observed · Early maintainer
Last source merge Mar 29, 2020 · First destination merge Nov 23, 2021