Fix deployment permission change commands

Author: area

scripts/deployments.js

@@ -89,7 +89,7 @@ module.exports = async function(robot) {
   const getUserList = (map, brain) => {
   const userids = getMap(map, brain)
   return Object.keys(userids)
-    .map(userid => `• <@${userid}>`)
+    .map(userid => `• <@!${userid}>`)
     .join('\n')
   }
 
@@ -114,7 +114,7 @@ module.exports = async function(robot) {
 
   });
 
-  robot.hear(/!deployment admin add @(.+)/, async (res) => {
+  robot.hear(/!deployment admin add <@!(.+)>/, async (res) => {
     const { user } = res.message
     const { brain } = robot
     // Can't @ users not in a chat with you, so this needs to be in public now
@@ -126,15 +126,15 @@ module.exports = async function(robot) {
 
     if (addUserWithRole(who, 'admin', brain)) {
       return res.send(
-        `I added <@${who}> as a deployment admin.`
+        `I added <@!${who}> as a deployment admin.`
       )
     }
     return res.send(
       'Could not add user as a deployment admin. Maybe they do not exist or are already?'
     )
   })
 
-  robot.hear(/!deployment admin remove @(.+)/, async (res) => {
+  robot.hear(/!deployment admin remove <@!(.+)>/, async (res) => {
     const { user } = res.message
     const { brain } = robot