Seems GitHub has changed what it does when deleting repositories. Previously, we could remove permissions manually for teams associated with a repository. Now, once a repository is deleted all permissions are automatically removed, so we can ignore needing to do things manually.
Seems GitHub has changed what it does when deleting repositories. Previously, we could remove permissions manually for teams associated with a repository. Now, once a repository is deleted all permissions are automatically removed, so we can ignore needing to do things manually.