feat: allow member to merge pull requests#20
Merged
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom Aug 7, 2023
Merged
feat: allow member to merge pull requests#20typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom
typeslint-cli[bot] merged 1 commit intoTypeslint:developmentfrom