Building a Production-Ready Stale Branch Bot for Jenkins: Lessons from the Trenches