docs lint broken in master
Job #193439156 failed for 2347b04e:
$ scripts/lint-doc.sh
=> Checking for cURL short options...
=> Checking for CHANGELOG.md duplicate entries...
✖ ERROR: Executable permissions should not be used in documentation! Use `chmod 644` to the files in question:
=> Checking for executable permissions...
doc/ci/variables/img/new_custom_variable_example.png
doc/ci/variables/img/ci_job_stage_output_example.png
doc/ci/variables/img/custom_variable_output.png
doc/ci/variables/img/override_variable_manual_pipeline.png
doc/ci/variables/img/override_value_via_manual_pipeline_output.png
doc/ci/introduction/img/job_running.png
doc/ci/introduction/img/rollback.png
doc/ci/introduction/img/pipeline_status.png
It seems to have been introduced by https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/26336 but doesn't consistently fail, for some reasons...