github/distribution
1
0
Fork 0
mirror of https://github.com/distribution/distribution.git synced 2025-06-24 14:33:44 +00:00
Code Issues Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Milos Gajdos 2024-01-16 20:28:17 +07:00 committed by GitHub
commit 781d03682c
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:
- charts/registry/config/**/*