GitHub codeowners falls over with large enough teams, but bots can be used to smooth over the rough patches....