Hacker News new | ask | show | jobs
by ozh 4539 days ago
`git push --force --harder --try-really-hard` works for me.