Fix publish docs (#742)

* `git commit` must always succeed

* Add comment
18 jobs for master in 55 minutes and 53 seconds (queued for 2 seconds)