"At the end of December we were at about three and a half PRs per engineer per day. This was before 5.2 came out. Everyone gets back from holiday with 5.2 and no other work on the repository. We were up to five to 10 PRs per day per engineer."