📝 Update other dead links

2025-12-21 16:53:55 -06:00
parent 6d416b34f6
commit 8d54de83d3
62 changed files with 85 additions and 115 deletions
@@ -1,6 +1,6 @@
 #!/usr/bin/env python
 """
-Extract the builds used in Github CI, so that we can run them locally
+Extract the builds used in GitHub CI, so that we can run them locally
 """
 import yaml