summaryrefslogtreecommitdiff
path: root/bin/just-deduplicate-repos.py
AgeCommit message (Expand)Author
2024-04-25just-deduplicate-repos: merge pragma of identified repositoriesKlaus Aehlig
2023-09-01Add a utility tool to deduplicate internal repositoriesKlaus Aehlig