Contributors to 2018-08-06 Editing past Git commits