Miswording: Should be "commit" not "push" #38

merged 1 commit into from May 4, 2012


None yet

2 participants


When explaining that the benchmark numbers for commit include the push time and that you generally don't do one after another it seems the word push beat up the word "commit" for no reason in the last sentence of a paragraph.

This fixes that.

@schacon schacon merged commit 0a8bfd1 into git:master May 4, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment