• 
      

    Rename the review_board_servers setting to reviewboard_servers.

    Review Request #11519 — Created March 12, 2021 and submitted

    Information

    ReviewBot
    release-3.0.x

    Reviewers

    Review Bot 2.0 introduced a setting for defining the Review Board
    servers that Review Bot may perform API requests on. This setting was
    named review_board_servers, which isn't very consistent with how we
    typically identify Review Board in key/filename form. A more consistent
    name would be reviewboard_servers.

    This change updates our code to use the new setting, and to migrate the
    old setting to the new one, with a deprecation warning logged.

    Documentation has been updated to reference this change, and to document
    it in the Upgrading page.

    Manually tested with the old and new setting. Saw a deprecation notice
    for the old one, and saw that the setting transitioned over.

    Unit tests pass.

    Viewed the documentation and checked for bad links, spelling errors, and
    build errors.

    Summary ID
    Rename the review_board_servers setting to reviewboard_servers.
    Review Bot 2.0 introduced a setting for defining the Review Board servers that Review Bot may perform API requests on. This setting was named `review_board_servers`, which isn't very consistent with how we typically identify Review Board in key/filename form. A more consistent name would be `reviewboard_servers`. This change updates our code to use the new setting, and to migrate the old setting to the new one, with a deprecation warning logged. Documentation has been updated to reference this change, and to document it in the Upgrading page.
    5c06d51443ab675b3f08dbfd545ea5363407aa25
    david
    1. Ship It!
    2. 
        
    chipx86
    Review request changed
    Status:
    Completed
    Change Summary:
    Pushed to release-3.0.x (6b8ee79)