Indeed but note that if you search for "libera chat" or "libera.chat" (I think they are equivalent, github's search doesn't recognize punctuation I think), it f

Indeed but note that if you search for "libera chat" or "libera.chat" (I think they are equivalent, github's search doesn't recognize punctuation I think), it filters out the commits that don't mention both "libera" "chat" in the commit message, and only turns up those that do. In particular, github's commit search does not search diffs, only commit messages, so even if the diff contains libera.chat, it won't turn up until the commit message also mentions it.