@Zyra-V21Current employee
- PRs merged
- 3
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Feb 25, 2026
- Last merge
- Aug 7, 2026
Active lead
Internal authors whose PRs they merged
Back to Organizations
Miga Labs
Stealth
Distributed
2 current maintainers2 active leads
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.
2
Current maintainers
2
Active leads
0
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Signals as of Aug 10, 2026github.com/migalabs
Maintainers (11)
Open GitHub profile ↗
@leobagoCurrent employee
- PRs merged
- 11
- Internal authors supported
- 2
- Currently active authors
- 1
- First merge
- Dec 5, 2025
- Last merge
- Jun 1, 2026
Active lead
Open GitHub profile ↗@santi1234567Former employee
- PRs merged
- 11
- Internal authors supported
- 3
- Currently active authors
- 0
- First merge
- May 8, 2023
- Last merge
- Nov 7, 2025
Early maintainer
Internal authors whose PRs they merged
@MatheusFreixoFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 21, 2025
- Last merge
- Aug 25, 2025
@yuliannabnFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 13, 2024
- Last merge
- Oct 11, 2024
Early maintainer
Open GitHub profile ↗@IuriPonsFormer employee
- PRs merged
- 6
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Dec 16, 2022
- Last merge
- Aug 1, 2024
Early maintainer
Internal authors whose PRs they merged
@tdaharFormer employee
- PRs merged
- 4
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Jun 15, 2022
- Last merge
- Jun 14, 2024
Early maintainer
Internal authors whose PRs they merged
@cortzeFormer employee
- PRs merged
- 16
- Internal authors supported
- 4
- Currently active authors
- 1
- First merge
- Feb 8, 2021
- Last merge
- Mar 22, 2024
Early maintainer
Internal authors whose PRs they merged
@josepchetrit12Former employee
- PRs merged
- 3
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Jan 15, 2023
- Last merge
- Dec 11, 2023
@0x00DukeFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 26, 2023
- Last merge
- Jul 14, 2023
@migalabsFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 9, 2021
- Last merge
- Dec 13, 2021
Maintainer Movements (2)
@josepchetrit12 moved lead merge authority to OpenZeppelin.
Confirmed Apr 25, 2025 · Observed
Last source merge Dec 11, 2023 · First destination merge Apr 25, 2025
@cortze moved lead merge authority to ProbeLab.
Confirmed Jun 22, 2024 · Observed · Early maintainer
Last source merge Mar 22, 2024 · First destination merge Apr 9, 2024