Btw the github bot doesn't work if you do a PR from a branch on a fork. Using Github/Azure Pipelines.