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