github.com/distribution
1
0
Fork 0
mirror of https://github.com/distribution/distribution synced 2024-11-06 19:35:52 +01:00
Code Releases Wiki Activity

chore: Remove duplicate area/ci entry in PR labeler

Browse Source 
Signed-off-by: Erez Rokah <erezrokah@users.noreply.github.com>
This commit is contained in:
Erez Rokah 2024-01-16 15:07:19 +02:00 committed by GitHub
parent bf6f5c3f74
commit 45cea887eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/labeler.yml vendored
View File

@ -1,6 +1,3 @@
area/ci:
- .github/**/*
area/config: area/config:
- charts/registry/config/**/* - charts/registry/config/**/*