git: --decorate=short is already the same as --decorate