[Tei-council] GitHub group permissions

Dear all, (some of) you might have received a notification from GitHub about changed group/team permissions. That was me … I was just looking through our repositories and added the Council team to most of the repos (where missing) and granted us the „maintain“ role (while removing individuals from those repos). That should be more permissive as it was before but I don’t see any reason why Council members should not (by default) have the maintain role for repositories maintained by the TEIC. Cheers Peter