Do you make commits directly to the remote repo, or do you have local repos that you push and pull to the remote from?
Do you make commits directly to the remote repo, or do you have local repos that you push and pull to the remote from?
Edit: Sorry apparently this wasn't clear. I make commits to a local repo and push to github. The local and github repos are rarely out of sync.
What commands do you use to accomplish this?
This is correct. The repo doesn't care what the individual users are using, and it can't tell. On the flip side, this was never something I disagreed with. I was saying that I often work with other devs in person and we will frequently go over to each others' computer to talk something out, debug something, etc. In this aspect, it's easier to use similar tools.
If you always work in complete isolation, disregard this part of the article. I just assumed that most people don't.