ProbeLab logo

ProbeLab

Stealth
Distributed
3 current maintainers3 active leads1 new active lead1 lead step-down1 early lead departure

Maintainer signals as of Aug 10, 2026


Maintainer Intelligence

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.

3

Current maintainers

3

Active leads

1

New active leads

1

Lead step-downs

0

Lead movements

1

Early lead departures

Maintainers (12)

@sreneCurrent employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Mar 2, 2026
Last merge
Jul 16, 2026
Active leadEarly maintainer
Open GitHub profile ↗
@dennis-traCurrent employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Apr 5, 2017
Last merge
May 26, 2026
Active leadEarly maintainer
Open GitHub profile ↗
@iandCurrent employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Aug 4, 2022
Last merge
May 12, 2026
Active leadEarly maintainer
Open GitHub profile ↗
@cortzeFormer employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Apr 9, 2024
Last merge
Mar 18, 2026
Early maintainer
Open GitHub profile ↗
@kastephFormer employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Jun 10, 2024
Last merge
Sep 12, 2025
Early maintainer
Open GitHub profile ↗
@vgiotsasFormer employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Sep 17, 2020
Last merge
Oct 19, 2020
Early maintainer
Open GitHub profile ↗

Maintainer Movements (5)

@barnabasbusa moved lead merge authority to Kurtosis.

Confirmed Jan 14, 2026 · Observed

Last source merge Jul 17, 2025 · First destination merge Jan 14, 2026

@galargh moved lead merge authority to FilOz & Friends.

Confirmed Aug 17, 2025 · Observed

Last source merge May 17, 2025 · First destination merge Jun 4, 2025

@galargh moved lead merge authority to Multiformats.

Confirmed Jul 3, 2024 · Observed

Last source merge Apr 3, 2024 · First destination merge Jun 20, 2024

@Jorropo moved lead merge authority to Multiformats.

Confirmed Jul 18, 2023 · Observed

Last source merge Apr 18, 2023 · First destination merge May 24, 2023

@dennis-tra moved lead merge authority to libp2p.

Confirmed Jun 10, 2022 · Observed · Early maintainer

Last source merge Mar 10, 2022 · First destination merge May 5, 2022