Update GH Welcome message: ping Pedro instead

Signed-off-by: Pedro Pinto Silva <[email protected]> Change-Id: Ic463ab19b7bec9b01ea8856b60c2e290d974719a
Dharmavineta · Aug 20, 2021 · 7ec100c · 7ec100c
1 parent 4f190d4
commit 7ec100c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/config.yml b/.github/config.yml
@@ -7,7 +7,7 @@ newPRWelcomeComment: |
   - Check out our [contributing guidelines](https://github.com/CollaboraOnline/online/blob/master/CONTRIBUTING.md).
   - Connect with us through one of [our communication channels](https://collaboraonline.github.io/post/communicate/).
   - Click on the details link next to the failing CI checks, if any, to see an explanation on how to fix it.
-  - Feel free to ping @mrkara or the mentor of the easyHack you are solving if you need help.
+  - Feel free to ping @pedropintosilva or the mentor of the easyHack you are solving if you need help.
 
 # Configuration for first-pr-merge - https://github.com/behaviorbot/first-pr-merge