3 ms·It might remove it from your local repo, but not from GitHub, that's the point.by Timwi 1y agoIt might remove it from your local repo, but not from GitHub, that's the point.