Delete Trigger

Delete a trigger.

Permanently deletes the specified trigger and all its execution history. If it's a cron trigger, the schedule will also be removed.

Args: trigger_id: The unique identifier of the trigger user_context: Authentication context trigger_service: Injected trigger service

Raises: HTTPException: If trigger not found