a repo created locally to be pushed to github