It looks to me like git-fast-export doesn't export the mergetag header on a commit. Is this intentional, or an oversight?