This reverts commit a5c2dddd. Docs push requires different auth options... Will reland shortly.
Attach a file by drag & drop or click to upload
