Option to leave request paused when new commits are pushed.

[Bryan Allen]

What happens now

When a pull request is paused and the pull request is updated, the request is automatically unpaused.

What we'd like

A plugin option to leave pull requests paused when they are updated. Similar, I think, to having the Repo -> Settings -> Pull requests option "Remove blocks from all participants when the source branch of a pull request changes", except in relation to pausing.