Combining with previous repos

We don't know how to github.