It is a truth universally understood that any integration is in want of an installation ID, so that it can authorize itself for the installation and perform useful operations.
Now, maybe I am doing this wrong, but how am I supposed to actually get an installation ID? It is true that if GitHub makes a webhook call to me, I’ll get that information; but in my case, I am building an integration that gets information from somewhere else, and propagates it to GitHub. I know what repo I want to authorize myself to, but as far as I can tell the only way to turn that into an installation id is to query integrations/installations and find the one I want.
Is there a better way?