Johannes Schindelin wrote: > Yet another question: On repo.or.cz, I searched for the "commit" "8d41555" > (upper right side, very nice, although the search button is lacking, which > is needed for some browsers like w3m). The problem is where to put it. The previous version didn't even had the "select type" but used [undocumented] search operators 'author:', 'committer:' and 'pickaxe:'. > But I got _two_ results, the one I > expected, and its child (probably because it contains the sha1 as part of > the parent tag). Is this intended behaviour? After all, I search for the > commit... Actually, "commit" is a bit of misnomer, as it searches commits contents (commit body). You can go to given commit easier by hand editing URL, editing "a=commit;h=8d41555". -- Jakub Narebski Warsaw, Poland ShadeHawk on #git - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html