- PRs merged
- 13
- Internal authors supported
- 4
- Currently active authors
- 0
- First merge
- Apr 15, 2018
- Last merge
- Apr 9, 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
@vncoelho moved lead merge authority to Neo.
Confirmed Jul 9, 2025 · Observed · Early maintainer
Last source merge Apr 9, 2025 · First destination merge Jun 2, 2025
@vncoelho moved lead merge authority to Neo.
Confirmed Feb 17, 2024 · Observed · Early maintainer
Last source merge Sep 4, 2023 · First destination merge Feb 17, 2024
@vncoelho moved lead merge authority to Neo.
Confirmed Nov 22, 2021 · Observed · Early maintainer
Last source merge Aug 16, 2021 · First destination merge Nov 22, 2021
@vncoelho moved lead merge authority to Neo.
Confirmed Apr 14, 2021 · Observed · Early maintainer
Last source merge Jan 14, 2021 · First destination merge Jan 14, 2021
@corollari moved lead merge authority to Onramper.
Confirmed Aug 29, 2020 · Observed
Last source merge May 29, 2020 · First destination merge Jul 18, 2020
@igormcoelho moved lead merge authority to Neo.
Confirmed Jan 7, 2019 · Observed · Early maintainer
Last source merge Jun 13, 2018 · First destination merge Jan 7, 2019
@vncoelho moved lead merge authority to Neo.
Confirmed Dec 3, 2018 · Observed · Early maintainer
Last source merge Aug 21, 2018 · First destination merge Dec 3, 2018