Community operators statistics History Number of PR over time Download : png pdf Download : png pdf Average PR merging time Download : png pdf Download : png pdf