Back to People
U

urikirsh

Maintainer
@urikirshCertora
120
Internal commits
169
PR merges
1
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraDec 2020 – Dec 2020
19 commits2 mergesMaintainer period
CertoraDec 2021 – Dec 2021
5 commits0 mergesReturned
CertoraApr 2023 – May 2023
3 commits2 mergesMaintainer periodReturned
CertoraOct 2023 – Dec 2025
93 commits165 mergesMaintainer periodReturned

Internal authors supported

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