Direct commits to github repo. We usually have a master and develop branch as well as smaller branches for separate features if needed. These are not massive enterprise scale projects, and usually there are 2 to 4 devs working on it at once, for perspective.
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.
It is not, to my knowledge, possible to commit directly to github. You can create a commit locally and push it to github, sure, but that is not the same thing.
Quick clarification - I misunderstood the original argument here. Yes there are local repos and a github repo, absolutely. I almost ignore the local one because it only exists (for me) in order to be pushed up to github.
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.
Do you make commits directly to the remote repo, or do you have local repos that you push and pull to the remote from?