format-util: drop uninteresting extras when writing git commit

format-util: drop uninteresting extras when writing git commit #14045