fmeum:repo-rule-rename

Drop the `_repo_name_` prefix #25968
29m
Fabian Meumertzheim
· · Created
Fix Windows test #25958
17m
Fabian Meumertzheim
· · Created
Make it shorter #25956
31m
Fabian Meumertzheim
· · Created
Fixes #25954
21m
Fabian Meumertzheim
· · Created
Fixes #25953
9m
Fabian Meumertzheim
· · Created