Merge branch 'mg/push-repo-option-doc'