Git add ignore deleted files July 8, 2019 16 32 64 128 How to delete file in repository github Github remove file
