Back to People
J

jtoman

Active lead
@jtomanCertora
885
Internal commits
107
PR merges
1
Organizations
1
Maintainer at

Activity over time

Organization timeline

CertoraMar 2020 – Mar 2020
1 commits0 merges
CertoraOct 2020 – Oct 2020
1 commits0 mergesReturned
CertoraApr 2021 – Apr 2021
1 commits0 mergesReturned
CertoraApr 2022 – Jun 2022
2 commits0 mergesReturned
CertoraApr 2023 – Oct 2023
17 commits2 mergesMaintainer periodReturned
CertoraOct 2024 – present
863 commits105 mergesMaintainer periodReturned

Internal authors supported

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