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