Admin merging for pure-doc PR that does not trigger build.
Attach a file by drag & drop or click to upload