mirror of
https://github.com/dragonpilot/dragonpilot.git
synced 2026-02-23 20:43:53 +08:00
* CI: manage stale PRs * before_close * rename to ignore stale * no push * prod mode! --------- Co-authored-by: Justin Newberry <justin@comma.ai>