fix(workflows): keep the init step's documented ignore_agent_tools default on an explicit null#3889

jawwad-ali wants to merge 1 commit into

github:maingithub/spec-kit:mainfrom

jawwad-ali:fix/init-ignore-agent-tools-nulljawwad-ali/spec-kit:fix/init-ignore-agent-tools-nullCopy head branch name to clipboard