* Update repository list file * Add host part to repo name * Allow git hosts other than github
Former-commit-id: 463b11bb23
463b11bb23
Former-commit-id: e9c24a0b82
e9c24a0b82