Github deleted these repos because they represented a business relationship on their part with the sanctioned Tornado Cash entity, not because they considered the code itself illegal. Other copies of the code have not been deleted by Github.