additional build/command permissions

bot/bot-eessi-aws-citc.cfg

@@ -28,7 +28,7 @@ private_key = /mnt/shared/home/bot/eessi-bot-software-layer/eessi-bot-citc-aws.2
 # which GH accounts have the permission to send commands to the bot
 # if value is left/empty everyone can send commands
 # value can be a space delimited list of GH accounts
-command_permission = boegel trz42 bedroge laraPPr ocaisa casparvl satishskamath maxim-masterov TopRichard xinan1911
+command_permission = boegel trz42 bedroge laraPPr ocaisa casparvl satishskamath maxim-masterov TopRichard xinan1911 Neves-P
 
 # format of the response when processing bot commands
 command_response_fmt =
@@ -100,7 +100,7 @@ submit_command = /usr/bin/sbatch
 # the label 'bot:build' (apparently this cannot be restricted on GitHub)
 # if value is left/empty everyone can trigger the build
 # value can be a space delimited list of GH accounts
-build_permission = boegel trz42 bedroge laraPPr ocaisa casparvl satishskamath maxim-masterov TopRichard xinan1911
+build_permission = boegel trz42 bedroge laraPPr ocaisa casparvl satishskamath maxim-masterov TopRichard xinan1911 Neves-P
 
 # template for comment when user who set a label has no permission to trigger build jobs
 no_build_permission_comment = Label `bot:build` has been set by user `{build_labeler}`, but only users `{build_permission_users}` have permission to trigger the action