Unfortunately, I'm not so sure I like this because this means that `commit_short` is no longer a valid git hash, and if users were to write code that uses the shortened commit hash they would need to parse out the `*` before they could pass it to other programs.