update alias to github username

aws · Dec 5, 2023 · db80c41 · db80c41
1 parent 255652c
commit db80c41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.mergify/config.yml b/.mergify/config.yml
@@ -11,7 +11,7 @@ pull_request_rules:
       label:
         add: [contribution/core]
     conditions:
-      - author~=^(RomainMuller|rix0rrr|MrArnoldPalmer|iliapolo|madeline-k|comcalvi|kaizencc|corymhall|otaviomacedo|TheRealAmazonKendra|vinayak-kukreja|mrgrain|colifran|mikewrighton|paulhcs)$
+      - author~=^(RomainMuller|rix0rrr|MrArnoldPalmer|iliapolo|madeline-k|comcalvi|kaizencc|corymhall|otaviomacedo|TheRealAmazonKendra|vinayak-kukreja|mrgrain|colifran|mikewrighton|paulhcsun)$
       - -label~="contribution/core"
   - name: Tell them we're good now
     actions: