/**
 * The tools whose completion may have changed the working tree without an
 * edit record: a refresh trigger, never an open trigger.
 */
export const SHELL_TOOLS = ['Bash', 'PowerShell'] as const