Make ./dev ci push function properly.
Add a kill-stale-intents command for the CI infrastructure.
Oops, missed a close quote.
Oops, missed closing ;;.
Oops, fetch_ci_tracking was not always fetching.
Make killing stale intents actually function.
Make sure pull_request_switch_one abort failed merges.