Merge pull request #5934 from shaneknapp/add-ugr-to-github-labeler

[DH-306] adding ugr01 to PR labeller
berkeley-dsep-infra · Aug 9, 2024 · 76ce2f0 · 76ce2f0
2 parents 3cdb31c + 3561adf
commit 76ce2f0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/labeler.yml b/.github/labeler.yml
@@ -127,6 +127,8 @@ node-placeholder-scaler:
   - 'deployments/stat159/**'
 'hub: stat20':
   - 'deployments/stat20/**'
+'hub: ugr01':
+  - 'deployments/ugr01/**'
 'hub: workshop':
   - 'deployments/workshop/**'
 'hub: gradebook':