Add an estimated review time to every PR — the tiny rule that cut my review backlog

May 31, 2026