Merge branch 'ms/doc-push-fix'