chiark / gitweb /
in check_not_dirty, diff against HEAD as that's what we care about