File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 22# Add project labels to PRs
33# Invocation is done by .github/workflows/prlabeler.yml
44
5- # changes in the documentation
65' Documentation ' :
76- changed-files :
87 - any-glob-to-any-file : ' book_source/**'
1211 - any-glob-to-any-file : ' DEV-INTRO.md'
1312 - any-glob-to-any-file : ' README.md'
1413
15- # Add 'Dockerfile' label to any changes in the docker directory
1614' Dockerfile ' :
1715- changed-files :
1816 - any-glob-to-any-file : ' docker/**'
1917
20-
21- # Add 'Website' label to any changes in the web directory
22- ' Website ' :
18+ ' Web Frontend ' :
2319- changed-files :
2420 - any-glob-to-any-file : ' web/**'
2521
26- # Add 'Base' label to any changes in the base directory
2722' Base ' :
2823- changed-files :
2924 - any-glob-to-any-file : ' base/**'
3025
31- # Add 'Models' label to any changes in the models directory
3226' Models ' :
3327- changed-files :
3428 - any-glob-to-any-file : ' models/**'
3529
36- # Add 'Modules' label to any changes in the modules directory
3730' Modules ' :
3831- changed-files :
3932 - any-glob-to-any-file : ' modules/**'
4033
41- # Add 'GitHub Actions' label to any changes in the .github/workflows directory
4234' GitHub Actions ' :
4335- changed-files :
4436 - any-glob-to-any-file : ' .github/workflows/**'
4537
46- # Add 'Scripts' label to any changes in the scripts directory
47-
38+ # TODO: scripts folder is due for a reorganization by theme;
39+ # update these tags when that is done
4840' Scripts ' :
4941- changed-files :
5042 - any-glob-to-any-file : ' scripts/**'
5143
52- # Add 'Tests' label to any changes in the tests directory
5344' Tests ' :
5445- all :
5546 - changed-files :
You can’t perform that action at this time.
0 commit comments