Add owner/name prefix to PR number in “successful merges” and “failed merges” lists

Author: steffahn

homu/server.py

@@ -345,10 +345,10 @@ def rollup(user_gh, state, repo_label, repo_cfg, repo):
 
     body = 'Successful merges:\n\n'
     for x in successes:
-        body += ' - #{} ({})\n'.format(x.num, x.title)
+        body += ' - {}/{}#{} ({})\n'.format(x.owner, x.name, x.num, x.title)
     body += '\nFailed merges:\n\n'
     for x in failures:
-        body += ' - #{} ({})\n'.format(x.num, x.title)
+        body += ' - {}/{}#{} ({})\n'.format(x.owner, x.name, x.num, x.title)
     body += '\nr? @ghost\n@rustbot modify labels: rollup'
 
     # Set web.base_url in cfg to enable