8 Likes
What happened in October 2021?
Wow this is rally nice :o
Wow, looking at #pull-requests
- the spread between minimum and maximum PR merge times is so wide that the plot had to be done logarithmically to be readable. But, a median of around 24 hours is much better than I thought.
1 Like
Yeah, a pull request takes 15s to 3y to merge
3 Likes