@jmilas Thanks for your reply.
The option to receive RepositoryEvents wasn’t listed anywhere in the settings screen of my integration.
I didn’t request access to “Adminstration” at first, because it doesn’t list any events.
But after your reminder about RepositoryEvents I thought that you might just have forgotten to list them there. I created a new integration with access to administration, hoping that RepositoryEvents would now arrive, but they didn’t.
I tried to trigger “repository publicized”, but only “public” arrived. I tried to trigger “repository privatized” and nothing happened. I deleted a repository and again nothing happened, not even the IntegrationInstallationRepositoriesEvent for a removed repo.
So as of now I still have to report that it’s impossible to keep in sync with repos of an installation and their public/private state.
Thanks for looking into this.