remove fetch_files command#1550

Draft

jakecoffman wants to merge 1 commit into

mainfrom

remove-fetch-files

GitHub Advanced Security / CodeQL succeeded Oct 13, 2025 in 3s

No new alerts in code changed by this pull request

View all branch alerts.