Option priority of merge action is deprecated

The priority option of the merge action has been marked as deprecated and will be removed on 2023-01-17. This option was not documented and has no impact on Mergify behaviour.

There is no replacement for this option.