Additional Git Admins? #481
Description
It looks like there is a huge backlog of PRs but nobody is merging them. Do you need more qualified people to help with merges?
{{ message }}
It looks like there is a huge backlog of PRs but nobody is merging them. Do you need more qualified people to help with merges?