Removal of files from GitHub