Backport pull requests to master with Mergify

Mergify backports develop pull requests to master and closes direct pull requests to master.