July 6, 2020 - July 13, 2020

Excluding merges, 2 authors have pushed 15 commits to master and 29 commits to all branches. On master, 20 files have changed and there have been 278 additions and 4306 deletions.