Well, ideally you'd have DNS setup internally so you don't have to use raw IP addresses, but essentially yes, you map each of the people with which you're collaborating as remote repositories. Because they are remote repositories, all on their own. There is nothing special between your repository on your machine and the repository on github.