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