- PRs merged
- 85
- Internal authors supported
- 14
- Currently active authors
- 0
- First merge
- Nov 21, 2019
- Last merge
- Jul 28, 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
0
New active leads
3
Lead step-downs
0
Lead movements
1
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
@WGB5445 moved lead merge authority to FairSharing.
Confirmed Oct 25, 2023 · Observed
Last source merge Dec 5, 2022 · First destination merge Oct 25, 2023
@jolestar moved lead merge authority to MoveFunsDAO.
Confirmed Oct 6, 2023 · Observed · Early maintainer
Last source merge Dec 13, 2022 · First destination merge Oct 6, 2023
@uvd moved lead merge authority to MoveFunsDAO.
Confirmed Jun 29, 2023 · Observed
Last source merge Oct 2, 2022 · First destination merge Jun 29, 2023
@geometryolife moved lead merge authority to MoveFunsDAO.
Confirmed Apr 8, 2023 · Observed
Last source merge Nov 4, 2022 · First destination merge Apr 8, 2023
@nanne007 moved lead merge authority to zkMove.
Confirmed Feb 2, 2023 · Observed · Early maintainer
Last source merge Oct 5, 2022 · First destination merge Feb 2, 2023
@tarvos21 moved lead merge authority to Axon.
Confirmed Jul 12, 2022 · Observed · Early maintainer
Last source merge Mar 21, 2022 · First destination merge Jul 12, 2022
@guangyuz moved lead merge authority to zkMove.
Confirmed Jul 5, 2022 · Observed
Last source merge Jun 28, 2021 · First destination merge Jul 5, 2022