Always output git short revisions with 12 characters
Always output git short revisions with 12 characters

Otherwise git will use some heuristics and things might be different for
different environments.

gtk-rs/gir,gtk-rs/gir,GuillaumeGomez/gir,GuillaumeGomez/gir,gtk-rs/gir,GuillaumeGomez/gir