Back to People
S

shellygr

Active lead
@shellygrCertora
734
Internal commits
106
PR merges
5
Organizations
1
Maintainer at

Activity over time

Organization timeline

TuCOPDec 2019 Dec 2019
1 commits0 merges
CertoraDec 2019 Dec 2019
3 commits0 merges
CertoraOct 2020 May 2021
28 commits0 mergesReturned
TuCOPOct 2020 Dec 2020
2 commits0 mergesReturned
Thesis*Nov 2020 Nov 2020
3 commits0 merges
CertoraFeb 2022 Mar 2024
208 commits50 mergesMaintainer periodReturned
CertoraOct 2024 present
386 commits56 mergesMaintainer periodReturned

Confirmed movements

TuCOPCertoraMar 2020
Thesis*Origin ProtocolFeb 2021
Origin ProtocolNotional FinanceJul 2021
Notional FinanceCertoraApr 2022

Internal authors supported

Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.