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