- PRs merged
- 3
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Nov 8, 2018
- Last merge
- Sep 25, 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.
1
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
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@pingwindyktator moved lead merge authority to Filecoin Incentive Design Labs.
Confirmed Nov 21, 2024 · Observed · Early maintainer
Last source merge Sep 20, 2018 · First destination merge Nov 21, 2024
@harzo moved lead merge authority to Interlock.
Confirmed Jun 24, 2024 · Observed · Early maintainer
Last source merge Dec 21, 2018 · First destination merge Jun 24, 2024
@siy moved lead merge authority to Radix.
Confirmed Sep 7, 2020 · Observed
Last source merge Jul 31, 2018 · First destination merge Sep 7, 2020