My code is the following
system('git log --pretty=format:[%h]: %an') where %h gives the revision id of the commit, and it is 7 charsseven characters long and %an is the author name.
My problem is that I want to have 5 digitsa five-digits revision id and not 7seven, but I can't find any flag of the form.
--date=iso-strict or whatever to do so.
Can you please tell me how toHow do I do it?