FedimintAug 2022 – Oct 2022
14 commits14 mergesMaintainer period
Canonical internal employees whose pull requests this maintainer merged. This includes peers and does not infer seniority.
547
PRs merged
13
Internal authors
4
PRs merged
2
Internal authors