We have a search option on the history page (cmd + Y) that lets you search by title, repo, branch, or PR https://cdn.discordapp.com/attachments/1237590664926203974/1550545081466097674/image.png?ex=6aaeb923&is=6aad67a3&hm=70aa2a3d172c10d23adb44e20a085fb0e90913261c226f7d5e77cc97bcca86f3&