On Friday, June 6, 2014 7:35:56 PM UTC+2, Sam Roberts wrote:
> I suspect so, and am searching around, but no luck so far.
> Its mostly cosmetic, but would simplify my scripting a bit.
I highly doubt it, looking at the documentation . This is a "plumbing"
(low-level) command, not intended for end-user usage. As it is the command
that creates a commit and its ID, it would be folly if it would output
something else than the ID, like an abbreviation.
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.