Thanks! Indeed, a lot has been done. Almost 14k commits with a clean linear history (no merge commits), 7200 PRs merged, 500+ contributors. We have an amazin

Thanks! Indeed, a lot has been done. Almost 14k commits with a clean linear history (no merge commits), 7200 PRs merged, 500+ contributors. We have an amazing team :)