8000 chore: Remove duplicate `area/ci` entry in PR labeler by erezrokah · Pull Request #4256 · distribution/distribution · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: Remove duplicate area/ci entry in PR labeler#4256

Merged
milosgajdos merged 1 commit intodistribution:mainfrom
erezrokah:patch-1
Jan 16, 2024

Commits

Commits on Jan 16, 2024
0