We're updating the issue view to help you get more done.Â
Update publishing script to exit upon failures during generation
Description
publish-to-github.sh should exit in case an error occurred during the site generation in order to avoid pushing a half generated site. E.g. http://ci.hibernate.org/job/www.hibernate.org/25/console pushed out an update with many pages missing due to a generation error.
Environment
None
Status
Assignee
Gunnar Morling
Reporter
Gunnar Morling
Labels
None
Worked in
None
Feedback Requested
None
Feedback Requested By
None
backPortable
None
Community Help Wanted
None
Suitable for new contributors
None
Requires Release Note
None
Pull Request
None
backportDecision
None
backportReEvaluate
None
Priority
Major