git-branch: document new --no-abbrev option