Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
docs: Tweak release docs and improve release build script #7631
This improves some wording/formatting of the release doc (it should look a lot better especially as output Markdown now), but more importantly stops the build script from removing files in someone's working directory without warning them first.
It does this by doing a
I also prevented the build script from exiting with a non-zero status code, because this really uglies up the script output when an error occurs. I think it's nice to have the error in the script be the last thing the user sees, so this shows the error rather than the
Also I added some emoji whimsy because I'm like that.
cc @mtias because he uses these more than anyone else; if these changes make anything worse/less usable for you, let me know and I'll tweak it.
Woot, thanks for working on this! (Left notes)