Closed z8v closed 1 year ago
Yes, it seems that labels are either prefixed with @//
(workspace) or @@//
(bzlmod) for the local repo. Maybe there is native function that we can use to remove those prefixes?
@aherrmann Should I merge this PR?
@z8v yes, one accepted review is enough to merge. Set the merge-queue
label to merge it.
Related issue #42