@Th0rgalCurrent employee
- PRs merged
- 613
- Internal authors supported
- 5
- Currently active authors
- 1
- First merge
- Aug 26, 2022
- Last merge
- Aug 8, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
Back to Organizations
Starknet ID
Starknet ID lets users register .stark domains and link them to a free on-chain identity accepted across the Starknet ecosystem.
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/lfglabs-dev
Maintainers (7)
Open GitHub profile ↗
@fricobenCurrent employee
- PRs merged
- 551
- Internal authors supported
- 5
- Currently active authors
- 1
- First merge
- Nov 29, 2022
- Last merge
- Aug 5, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@jdorfmanFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 6, 2025
- Last merge
- Jan 26, 2026
Early maintainer
Open GitHub profile ↗@Marchand-NicolasFormer employee
- PRs merged
- 5
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Sep 13, 2023
- Last merge
- Oct 11, 2025
Early maintainer
Internal authors whose PRs they merged
@irisdvFormer employee
- PRs merged
- 121
- Internal authors supported
- 4
- Currently active authors
- 2
- First merge
- Apr 26, 2023
- Last merge
- Feb 28, 2025
Early maintainer
Internal authors whose PRs they merged
@ayushtomFormer employee
- PRs merged
- 11
- Internal authors supported
- 3
- Currently active authors
- 2
- First merge
- Nov 12, 2023
- Last merge
- Jul 5, 2024
Internal authors whose PRs they merged
@J4ckyLIMFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Dec 23, 2022
- Last merge
- Jan 6, 2023
Early maintainer
Open GitHub profile ↗Maintainer Movements (1)
@ayushtom moved lead merge authority to Cartridge Gaming Company.
Confirmed Feb 6, 2025 · Observed
Last source merge Jul 5, 2024 · First destination merge Feb 6, 2025