4 ms·

What? git remote add my_other_server_that_is_not_github git://my.oth.er/server/that/is/not/github.git

• saraid216 13y ago
  The problem is mostly that people fail to actually do this.
  • Anderkent 13y ago
    Until github goes down, and then they run `git remote add friend ssh://coworkers-workstation//path/to/repo` and push code to each other until github comes back up.
    • coherentpony 13y ago
      Well, pushing to someone else's local copy is a little harsh, since that copy probably won't be bare. Also git will slap your wrists if you try to do that. Instead, the coworker should pull from you. This is why GitHub's calls them pull requests.
      • icebraining 13y ago
        Or you can push to a different remote branch, and then they can merge it with their master.