Hacker News new | ask | show | jobs
by nindalf 115 days ago
> with no option to format them back

Try git reset --hard, that should work.