rename github.com to github-dev