Delegate to reduce

[andrewgsavage]

• [ ] Closes # (insert issue number)
• [ ] Executed pre-commit run --all-files with no errors
• [ ] The change is fully covered by automated unit tests
• [ ] Documented in docs/ as appropriate
• [ ] Added an entry to the CHANGES file

[andrewgsavage]

bors r+

[bors[bot]]

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here. For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• ci
• lint