Closed rgaiacs closed 10 years ago
I'm merge this since it is a very small change and @wking already agree with that change:
Maybe you're suggesting a change from ‘GitHub’ to ‘Git’ in the second line? If that's the case, I agree completely ;). GitHub is just hosting the repository, but the merge logic, etc. is all native Git.
Cover #641.