Current behavior
Currently, comin silently fails on force push. The journald log only shows "Fetched new commit".
Why it's not good
It took me forever (, which is around a week) to locate the issue and fix it. I didn't realize force push rejection was even a thing until I read the design.md.
Improvement
- Print error on force push rejection.
- In the error, write about how to solve it (
rm /var/lib/comin -r)