We have a new record average time to process a pull request: 21 days! Part of my job is following (and trying to improve of course) some key metrics about MariaDB Server pull request processing. … Con