gitrev.sh: disable dirty-tree check