Synonym logo

Synonym

Synonym designs Bitcoin-based software and services that support a peer-to-peer economy, including wallets, Lightning infrastructure, and decentralized web protocols.
87 avenida norte, calle El Mirador, Edificio Torre Futura, Oficina 06, Nivel 11, Colonia Escalón, San Salvador, 01101, República de El Salvador, El Salvador
8 current maintainers6 active leads1 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.

8

Current maintainers

6

Active leads

0

New active leads

1

Lead step-downs

0

Lead movements

1

Early lead departures

Signals as of Aug 10, 2026github.com/synonymdev

Maintainers (19)

@ben-kaufmanCurrent employee
PRs merged
3
Internal authors supported
1
Currently active authors
1
First merge
Oct 30, 2025
Last merge
Jul 22, 2026
Active lead

Internal authors whose PRs they merged

Open GitHub profile ↗
@aldertnlCurrent employee
PRs merged
1
Internal authors supported
1
Currently active authors
1
First merge
Mar 26, 2026
Last merge
Mar 26, 2026
Early maintainer

Internal authors whose PRs they merged

Open GitHub profile ↗
@instabot42Former employee
PRs merged
1
Internal authors supported
1
Currently active authors
1
First merge
Apr 22, 2022
Last merge
Nov 11, 2022
Early maintainer

Internal authors whose PRs they merged

Open GitHub profile ↗
@gr0kchainFormer employee
PRs merged
0
Internal authors supported
0
Currently active authors
0
First merge
Nov 15, 2021
Last merge
Feb 14, 2022
Early maintainer
Open GitHub profile ↗

Maintainer Movements (3)

@rbndg moved lead merge authority to Tether.

Confirmed Nov 8, 2024 · Observed · Early maintainer

Last source merge Mar 20, 2024 · First destination merge Nov 8, 2024

@chm-diederichs moved lead merge authority to Pears.

Confirmed May 5, 2022 · Observed · Early maintainer

Last source merge Nov 15, 2021 · First destination merge May 5, 2022

@chm-diederichs moved lead merge authority to Pears.

Confirmed Jun 23, 2021 · Observed · Early maintainer

Last source merge Mar 16, 2021 · First destination merge Jun 23, 2021