It said it also deleted it from his Git repo, but it seemed not to be remote