Added github repo to fix docker.io build error