Contributors to 2019-08-19 Transplanting a directory to another Git repository