was 2f8db1c15700f8e3213bcdae204a0ee1a40cf5a5 ----------------------------------------------------------------------- 2f8db1c15700f8e3213bcdae204a0ee1a40cf5a5 17840: Deduplicate flag-parsing code. ----------------------------------------------------------------------- hooks/post-receive --