3 Commits

Author	SHA1	Message	Date
Paul Gschwendtner	acf07d18a9	build: publish script should not print error if tag does not exist (#15080) ... Currently the publish script prints an error if the release tag does not exist locally yet. This is not expected since the function that calls `git` to check if a given tag exists, returns a boolean and should not additionally print the git `stderr`. Note we can also look into attaching the release notes automatically, but since the release notes are making the URL too large and Github denies too large URL's, this is something we can explore in a follow-ups.	2019-02-05 07:36:18 -08:00
Paul Gschwendtner	fe7f95ec10	build: add script to publish release (#14565) ... Closes #13455	2018-12-19 13:34:03 -08:00
Paul Gschwendtner	f59c1ee9bc	build: print url to commits if staging script fails due to failing status (#14509) ... * Based on a recent chat with Miles, it would be good if we default the `Is pre-release?` question to `false` and also print an URL if the status checks for a given branch fail (this should be just more convenient to see what failed)	2018-12-13 16:53:46 -08:00