I was wondering whether GitHub has a process for dealing with reports of obvious copyright violations. They don’t need thr copyright owner to weigh in.