Keep pull requests up to date with Mergify

Mergify merges the base branch into open pull requests that are behind it.