2023-08-01 Git: Using SSH Locally, But HTTPS in CI