Add Zenodo DOI auto-minting config for GitHub Releases#321

igerber merged 1 commit intomainigerber/diff-diff:mainfrom

zenodo-setupigerber/diff-diff:zenodo-setupCopy head branch name to clipboard