Repairing GitHub broken files