I have a custom merge driver for git that helps merge lockfiles in a large monorepo shared by hundreds of engineers. Because lockfiles churn quite frequently, it's not uncommon for these files to result in merge conflicts while a PR is being reviewed (because master progresses). This means the PR branch should be updated manually after resolving conflicts on these lockfiles locally using this merge driver.
Question: Is there a way to configure this merge driver on GitHub (or Azure Repos) on the server-side such that this driver would be used for merging PR branches (as opposed to the default automerge)?