Skip to content

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

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

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