Hacker News new | past | comments | ask | show | jobs | submit login

What?

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



The problem is mostly that people fail to actually do this.


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.


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.


Or you can push to a different remote branch, and then they can merge it with their master.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: