remove unnecessary parameter from get_patch_ids()
commit811929f1695ed7de15cad14b9335534af672b472
authorMartin von Zweigbergk <martin.von.zweigbergk@gmail.com>
Fri, 27 Jul 2012 17:21:38 +0000 (27 10:21 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 29 Jul 2012 21:54:13 +0000 (29 14:54 -0700)
tree80c5b45e3b46db1ee58f1307cfe0ebc7435b8b2a
parentcdd159b2f56c9e69e37bbb8f5af301abd93e5407
remove unnecessary parameter from get_patch_ids()

get_patch_ids() takes an already initialized rev_info and a
prefix. The prefix is used when initalizing a second rev_info. Since
the initialized rev_info already has a prefix and the prefix never
changes, we can use the prefix from the initialized rev_info to
initialize the second rev_info.

Signed-off-by: Martin von Zweigbergk <martin.von.zweigbergk@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/log.c