Code

Add .mailmap for git shortlog -nse#1106

Code

Open

JasonGross wants to merge 1 commit intoMetaCoq:coq-8.19MetaCoq/metacoq:coq-8.19from JasonGross:coq-8.19+mailmapJasonGross/metacoq:coq-8.19+mailmapCopy head branch name to clipboard

+37

Commits

Commits on Oct 15, 2024

• Add .mailmap for git shortlog -nse

  JasonGross

  committed
  244db3d