Issue #12181: Fail 'Publish GitHub page' when curl fails
Issue #12181: Fail 'Publish GitHub page' when curl fails

checkstyle/checkstyle,romani/checkstyle,checkstyle/checkstyle,romani/checkstyle,romani/checkstyle,checkstyle/checkstyle,checkstyle/checkstyle,checkstyle/checkstyle,romani/checkstyle,romani/checkstyle,checkstyle/checkstyle,romani/checkstyle