Closed mgedmin closed 6 years ago
(Edited the original description to accurately describe what the problem is. The original email notification was quite misleading, because I got confused. Sorry about that!)
In prerelease
we test for this and exit with a critical error. We should do the same here in postrelease. I will make a PR shortly.
Thanks for the report. Fixed in 6.13.5.
Thank you!
I accidentally ran
postrelease
in the wrong directory and got this error:Steps to reproduce:
git init /tmp/empty
cd /tmp/empty
postrelease