Merge branch 'mm/levenstein-penalize-deletion-less'

gitster · gitster · commit 7a824d3c463c · 2012-06-01T13:27:48.000-07:00
"git tags" used to suggest "git stage" which was nonsense; it should
have favored "git tag".  Tweak the cost of deletion to correct it.

By Matthieu Moy
* mm/levenstein-penalize-deletion-less:
  Reduce cost of deletion in levenstein distance (4 -&gt; 3)
diff --git a/help.c b/help.c
@@ -317,7 +317,7 @@ const char *help_unknown_cmd(const char *cmd)
 		}
 
 		main_cmds.names[i]->len =
-			levenshtein(cmd, candidate, 0, 2, 1, 4) + 1;
+			levenshtein(cmd, candidate, 0, 2, 1, 3) + 1;
 	}
 
 	qsort(main_cmds.names, main_cmds.cnt,

Original file line number	Diff line number	Diff line change
`@@ -317,7 +317,7 @@ const char help_unknown_cmd(const char cmd)`
`317`	`317`	`}`
`318`	`318`
`319`	`319`	`main_cmds.names[i]->len =`
`320`		`- levenshtein(cmd, candidate, 0, 2, 1, 4) + 1;`
	`320`	`+ levenshtein(cmd, candidate, 0, 2, 1, 3) + 1;`
`321`	`321`	`}`
`322`	`322`
`323`	`323`	`qsort(main_cmds.names, main_cmds.cnt,`