Weekly GitHub report

Your commits, PRs and reviews, Friday to Thursday.