No matches were found for subject:"Re\: \[PATCH\] git\-rev\-list.txt\: prune options in synopsis"