For reasons discussed [here](https://github.com/hardforkio/jakobs-tictactoe/issues/23) and [here](https://github.com/hardforkio/jakobs-tictactoe/issues/25), we will use [Mergify](https://mergify.io/) in the future.
For reasons discussed here and here, we will use Mergify in the future.