- PRs merged
- 10
- Internal authors supported
- 3
- Currently active authors
- 0
- First merge
- Aug 3, 2023
- Last merge
- Aug 17, 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
1
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
Internal authors whose PRs they merged
Internal authors whose PRs they merged
Internal authors whose PRs they merged
@staltz moved lead merge authority to RAILGUN.
Confirmed Apr 20, 2024 · Observed · Early maintainer
Last source merge Jan 20, 2024 · First destination merge Apr 12, 2024
@ameba23 moved lead merge authority to Entropy.
Confirmed Aug 26, 2023 · Observed · Early maintainer
Last source merge Jun 24, 2019 · First destination merge Aug 26, 2023
@mixmix moved lead merge authority to Climate Change Countdown.
Confirmed Feb 9, 2023 · Observed · Early maintainer
Last source merge Nov 9, 2022 · First destination merge Nov 10, 2022
@clehner moved lead merge authority to Veramo.
Confirmed Dec 1, 2021 · Observed · Early maintainer
Last source merge Feb 27, 2021 · First destination merge Dec 1, 2021
@dominictarr moved lead merge authority to Socket Supply Co..
Confirmed Sep 10, 2021 · Observed · Early maintainer
Last source merge Jan 7, 2020 · First destination merge Sep 10, 2021
@Connoropolous moved lead merge authority to Holochain.
Confirmed Sep 14, 2020 · Observed
Last source merge Mar 2, 2020 · First destination merge Sep 14, 2020
@Connoropolous moved lead merge authority to Holochain.
Confirmed Feb 21, 2020 · Observed
Last source merge Nov 21, 2019 · First destination merge Dec 28, 2019
@keks moved lead merge authority to Least Authority.
Confirmed Feb 12, 2020 · Observed · Early maintainer
Last source merge Nov 12, 2019 · First destination merge Jan 21, 2020
@pfrazee moved lead merge authority to Pears.
Confirmed May 18, 2018 · Observed · Early maintainer
Last source merge Jun 12, 2016 · First destination merge May 18, 2018