Skip to content

Merge pull request #3973 from github/mbg/repo-props/config-file-short… #7282

Merge pull request #3973 from github/mbg/repo-props/config-file-short…

Merge pull request #3973 from github/mbg/repo-props/config-file-short… #7282