Marcel 121c4c99ae Use Label() to resolve repo name (#8493) ...

This makes sure it doesn't break users when they choose a different repo_name.

2025-01-21 16:49:57 -08:00

3.3 KiB

Raw Blame History

View Raw