Update dat/gitinfo.txt if the current branch is different from the one recorded in the file, not just when the commit hash is different. Make the usual output less verbose so that it fits within 80 columns.