dev manages hosted development environments.
Hosted development environments are useful for onboarding, reproduction, and isolated work.
Use dev to list, create, or delete hosted environments such as GitHub
Codespaces.
Use a provider profile with development-environment permission. Creating an environment may consume provider quota or billable resources. Deleting an environment is keyed by environment ID and resolves the repository from the current Git remote.
gitfleet dev list --repo owner/repositorygitfleet dev create --repo owner/repository --branch maingitfleet dev delete <environment-id> --yes
GitHub supports development environments. GitLab currently reports this capability as unsupported.
Deleting a development environment is destructive and requires confirmation or
--yes.
Use --json for inventory and cleanup automation.