how to add a github repository