summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2024-02-25Update crates, GHA and a Python/JS scripts (#4357)1.30.4Mathijs van Veluw
2021-02-03global_domains.py: allow syncing to a specific Git refJeremy Lin
2020-08-06Add a script to auto-generate the global equivalent domains JSON fileJeremy Lin