@tsergCurrent employee
- PRs merged
- 23
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Jun 13, 2022
- Last merge
- Jul 27, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
Back to Organizations
Lindy Labs
Lindy Labs is a Web3 consulting and technology company focused on formal verification, smart-contract security, tokenization, and Web3 strategy. It serves organizations including financial services firms, governments, institutions, and consumer brands, and presents Opus as one of its projects.
Distributed
1 current maintainer1 active lead
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.
1
Current maintainers
1
Active leads
0
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Maintainers (16)
Open GitHub profile ↗
@javraFormer employee
- PRs merged
- 2
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Aug 18, 2023
- Last merge
- May 23, 2025
Early maintainer
Internal authors whose PRs they merged
@RaitoBezariusFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 28, 2024
- Last merge
- May 9, 2025
@milancermakFormer employee
- PRs merged
- 82
- Internal authors supported
- 4
- Currently active authors
- 1
- First merge
- Mar 25, 2022
- Last merge
- Dec 20, 2024
Early maintainer
Open GitHub profile ↗@dxgantaFormer employee
- PRs merged
- 9
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Jun 2, 2022
- Last merge
- Nov 26, 2024
Early maintainer
Open GitHub profile ↗@brkomirFormer employee
- PRs merged
- 7
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Jun 21, 2022
- Last merge
- Nov 20, 2024
Early maintainer
Internal authors whose PRs they merged
@acmLLFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 3, 2024
- Last merge
- Jul 2, 2024
@bllu404Former employee
- PRs merged
- 2
- Internal authors supported
- 2
- Currently active authors
- 1
- First merge
- May 6, 2022
- Last merge
- Dec 18, 2023
Internal authors whose PRs they merged
@coolhillFormer employee
- PRs merged
- 25
- Internal authors supported
- 4
- Currently active authors
- 0
- First merge
- Feb 14, 2022
- Last merge
- Oct 18, 2023
Early maintainer
Internal authors whose PRs they merged
@chknlittleFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Mar 1, 2022
- Last merge
- Aug 17, 2023
Internal authors whose PRs they merged
@0xBRMFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- May 6, 2022
- Last merge
- Jun 21, 2023
Internal authors whose PRs they merged
@joaop21Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 11, 2022
- Last merge
- May 2, 2023
@fyang1024Former employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Dec 6, 2022
- Last merge
- Apr 10, 2023
Internal authors whose PRs they merged
@gabrielpocaFormer employee
- PRs merged
- 11
- Internal authors supported
- 3
- Currently active authors
- 0
- First merge
- Nov 3, 2021
- Last merge
- Mar 20, 2023
@naps62Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Oct 5, 2021
- Last merge
- May 9, 2022
@jcking89Former employee
- PRs merged
- 3
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Aug 9, 2021
- Last merge
- Mar 17, 2022
Early maintainer
Open GitHub profile ↗Maintainer Movements (2)
@gabrielpoca moved lead merge authority to ethui.
Confirmed Jun 20, 2023 · Observed
Last source merge Mar 20, 2023 · First destination merge May 14, 2023
@naps62 moved lead merge authority to ethui.
Confirmed Feb 24, 2023 · Observed
Last source merge May 9, 2022 · First destination merge Feb 24, 2023