2 ms·Weird, I thought it was a tool for encouraging engineers to learn how to use Github PR search filters.by throwanem 5y agoWeird, I thought it was a tool for encouraging engineers to learn how to use Github PR search filters.