No matches were found for subject:"Why does git log \-\-author=pattern not work with regexp\-ignore\-case and other regexp\-related options\?"