rename config option name: github:repo -> deploy:github:repo.