stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

Make authors field optional #258

Closed wyrmsVassal closed 10 months ago

wyrmsVassal commented 10 months ago

Running git config user.name can fail if the username isn't configured globally, which prevents creating a new project. I submit this PR to catch this and continue with an empty authors field in that case.

stefan-hoeck commented 10 months ago

Thanks for this!