Remove obsolete update-external-repos script #1226
GitHub Actions / Files moved or deleted
completed
Dec 16, 2024 in 0s
Files moved or deleted
2 warning(s) found
Annotations
Check warning on line 1 in scripts/update-external-repos/main.sh
github-actions / Files moved or deleted
File deleted
File deleted
Check warning on line 1 in scripts/update-external-repos/repositories.txt
github-actions / Files moved or deleted
File deleted
File deleted
Loading