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