Contact GitHub "Partner Engineering" support before migrating to a GitHub App to make sure it's the best path in my case, and ask about the limitations I found #devhub