[Varnish] #1786: Web documentation push for 4.1 fails.

[Varnish]

#1786: Web documentation push for 4.1 fails.
---------------------------+-----------------------
 Reporter:  lkarsten       |      Owner:
     Type:  defect         |     Status:  new
 Priority:  normal         |  Milestone:
Component:  documentation  |    Version:  4.1.0-TP1
 Severity:  normal         |   Keywords:
---------------------------+-----------------------
 When pushing code to the 4.1 repository, uploading the documentation to
 web fails:

 {{{
 remote: make[1]: Leaving directory `/tmp/tmp.iiE3HZtNmg/varnish-
 cache/doc/graphviz'
 remote: sphinx-build -W -q -N -b html -d build/doctrees -D
 latex_paper_size=a4  . build/html
 remote: Making output directory...
 remote:
 remote: Build finished. The HTML pages are in build/html.
 remote: make: Leaving directory `/tmp/tmp.iiE3HZtNmg/varnish-
 cache/doc/sphinx'
 remote: sending incremental file list
 remote: rsync: mkdir "/srv/varnish-cache.org/www/docs/4.1" failed:
 Permission denied (13)
 remote: rsync error: error in file IO (code 11) at main.c(605)
 [Receiver=3.0.9]
 remote: rsync: connection unexpectedly closed (9 bytes received so far)
 [sender]
 remote: rsync error: error in rsync protocol data stream (code 12) at
 io.c(605) [sender=3.0.9]
 remote: failure (exit 12)
 To git at git.varnish-cache.org:varnish-cache
    8993e19..2cb715a  4.1 -> 4.1
 }}}

-- 
Ticket URL: <https://www.varnish-cache.org/trac/ticket/1786>
Varnish <https://varnish-cache.org/>
The Varnish HTTP Accelerator