Github remove file from pr July 8, 2019 16 32 64 128 Github remove file from previous commit Github remove file changes from pr Github remove file Github file delete
