gitchanger_delete
Deletes a Git profile from GitChanger and can keep the matching SSH Host entry in ~/.ssh/config when removal is not wanted.
Instructions
Delete a Git profile from GitChanger.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| profile | Yes | Profile ID to delete. | |
| keep_ssh | No | Do not remove corresponding Host entry from ~/.ssh/config. |