Function requireClean

Exit via fail unless the working tree is clean.

Used before operations that rebase or move HEAD, where uncommitted changes would be lost or cause confusing conflicts.