Merge pull request #141 from icub-tech-iit/fix/escape-char

Changed the escape char for group mentioning

README.md

@@ -118,13 +118,11 @@ Pay attention to the following points:
 
 ### Mentioning a group
 Anyone posting a message in an issue or a PR of a org repository where the outside collaborators automation is
-established can mention a group using the following _bash-like_ convention:
-- `$group-name`
-- `${group-name}`
+established can mention a group using the convention `!group-name`.
 
 For example, if `user01` posts:
 ```markdown
-Hey ${lab_xyz/group01} 👋🏻
+Hey !lab_xyz/group01 👋🏻
 I've got an exciting news to share with you!
 ```
 

scripts/mentioning-comment-handler.rb

@@ -85,12 +85,10 @@
 collaborators = ""
 repo_metadata.each { |user, props|
     if (props["type"].casecmp?("group")) then
-        tag_1 = "$" + user
-        tag_2 = "${" + user + "}"
-        if (body.include? tag_1) || (body.include? tag_2) then
+        tag = "!" + user
+        if body.include? tag then
             # avoid self-notifying
-            body = body.gsub(tag_1, user)
-            body = body.gsub(tag_2, user)
+            body = body.gsub(tag, user)
             if groups.key?(user) then
                 puts "- Handling of notified group \"#{user}\" 👥"
                 groups[user].each { |subuser|