old-commit-hash: e867aa40dbd1239aadf8f31bb89c82512f02bff4
* CI: manage stale PRs * before_close * rename to ignore stale * no push * prod mode! --------- Co-authored-by: Justin Newberry <justin@comma.ai> old-commit-hash: 31ef352234b3348aa96417e17d49a0cea5be6450