[PATCH] gitlab-ci: Make pages job manual

[Daniel Vetter]

On Thu, May 02, 2019 at 12:53:49PM +0300, Arkadiusz Hiler wrote:
> To stop sending those pesky failure emails, that condition people to
> ignore anything sent by gitlab-ci.
> 
> Now we will have to click the button manually, whenever we want to bump
> the docs.
> 
> Bugzilla: https://gitlab.freedesktop.org/freedesktop/freedesktop/issues/46
> Cc: Daniel Vetter <daniel.vetter at ffwll.ch>
> Signed-off-by: Arkadiusz Hiler <arkadiusz.hiler at intel.com>

Not great, but better than training people to ignore gitlab CI (which I
think we've already accomplished).

Applied, thanks for your patch.
-Daniel

> ---
>  .gitlab-ci.yml | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
> index ab68a16..948f305 100644
> --- a/.gitlab-ci.yml
> +++ b/.gitlab-ci.yml
> @@ -28,6 +28,7 @@ check:
>        - make check
>  
>  pages:
> +    when: manual
>      stage: deploy
>      script:
>        - make html
> -- 
> 2.20.1
> 

-- 
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch