Hacker News new | ask | show | jobs
by yawaramin 1837 days ago
It's rather simple: remove it from the origin repo using BFG Cleaner or whatever, then ask devs to delete and re-clone the repo. Not everything needs a complex technical solution.