Problem
Unlinking a GithubAppInstallation from an Organization deletes the related OrganizationGithubAppInstallation record.
That, however, currently in no way affects ProjectGithubRepo records which may link a GithubRepo belonging to the GithubAppInstallation with a project belonging to the Organization.
We should also delete the related ProjectGithubRepo records when the installation is unlinked.
Problem
Unlinking a
GithubAppInstallationfrom anOrganizationdeletes the relatedOrganizationGithubAppInstallationrecord.That, however, currently in no way affects
ProjectGithubReporecords which may link aGithubRepobelonging to theGithubAppInstallationwith a project belonging to theOrganization.We should also delete the related
ProjectGithubReporecords when the installation is unlinked.