Merge pull request #215 from GuillaumeGomez/fix-issues

Fix issues

Author: pietroalbini

highfive/configs/rust-lang/rust.json

@@ -47,10 +47,6 @@
             "command": "@highfive: run-doc-ui",
             "reviewers": ["@GuillaumeGomez"]
         },
-        "src/doc": {
-            "message": "Some changes occurred in HTML/CSS.",
-            "reviewers": ["@GuillaumeGomez"]
-        },
         "src/librustdoc/": {
             "command": "@highfive: run-doc-ui"
         },

highfive/newpr.py

@@ -130,8 +130,12 @@ def set_assignee(self, assignee, owner, repo, issue, user, author, to_mention):
             for mention in to_mention:
                 if len(message) > 0:
                     message += '\n\n'
-                message += "%s\n\ncc %s" % (mention['message'],
-                                            ','.join([x for x in mention['reviewers'] if x != user]))
+                msg = mention.get('message')
+                if msg is not None:
+                    msg += '\n\n'
+                else:
+                    msg = ''
+                message += "%scc %s" % (msg, ','.join([x for x in mention['reviewers'] if x != user]))
                 cmd = mention.get('command')
                 if cmd is not None:
                     commands[cmd] = self.payload['pull_request', 'head', 'sha']