- PRs merged
- 3
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Mar 4, 2024
- Last merge
- Jan 22, 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.
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
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@HariSeldon23 moved lead merge authority to Ortege AI.
Confirmed Oct 7, 2024 · Observed · Early maintainer
Last source merge Feb 8, 2024 · First destination merge Oct 7, 2024
@bmino moved lead merge authority to Kintsu.
Confirmed Jun 5, 2024 · Observed · Early maintainer
Last source merge Feb 6, 2024 · First destination merge Jun 5, 2024
@prodesert22 moved lead merge authority to Ortege AI.
Confirmed Mar 8, 2024 · Observed
Last source merge Dec 8, 2023 · First destination merge Feb 22, 2024
@HariSeldon23 moved lead merge authority to Ortege AI.
Confirmed Jan 3, 2024 · Observed · Early maintainer
Last source merge Aug 30, 2023 · First destination merge Jan 3, 2024
@dhrubabasu moved lead merge authority to Avalanche.
Confirmed Feb 16, 2023 · Observed · Early maintainer
Last source merge Dec 9, 2021 · First destination merge Feb 16, 2023
@dasconnor moved lead merge authority to Avalanche.
Confirmed Apr 18, 2022 · Observed · Early maintainer
Last source merge May 26, 2021 · First destination merge Apr 18, 2022