Use rich text for Review Bot reviews.

Review Request #8763 — Created Feb. 17, 2017 and submitted

Information

ReviewBot
master
7e13b61...

Reviewers

This change enables the use of rich text in comments (which is currently not
used by any tools), and more usefully, uses rich text to improve the format of
the warning when the number of comments posted has been clipped.

Ran a tool that created more than 30 comments and saw the resulting body-top
was shown with markdown formatting.

reviewbot
  1. Tool: Pyflakes
    Processed Files:
        bot/reviewbot/processing/review.py
    
    
    
    Tool: PEP8 Style Checker
    Processed Files:
        bot/reviewbot/processing/review.py
    
    
  2. 
      
david
david
reviewbot
  1. Tool: PEP8 Style Checker
    Processed Files:
        extension/reviewbotext/resources.py
        bot/reviewbot/processing/review.py
    
    
    
    Tool: Pyflakes
    Processed Files:
        extension/reviewbotext/resources.py
        bot/reviewbot/processing/review.py
    
    
  2. 
      
david
reviewbot
  1. Tool: Pyflakes
    Processed Files:
        extension/reviewbotext/resources.py
        bot/reviewbot/processing/review.py
    
    
    
    Tool: PEP8 Style Checker
    Processed Files:
        extension/reviewbotext/resources.py
        bot/reviewbot/processing/review.py
    
    
  2. 
      
brennie
  1. Ship It!
  2. 
      
david
Review request changed
Status:
Completed
Change Summary:
Pushed to master (7e44cff)