Thanks for clarifying. I do understand that these specific hashes are effectively forbidden in the dmca repo.

Are you aware of any specific instances where the presence of youtube-dl hashes in other repos have been found by github and used as the grounds for disciplinary action? That would be noteworthy indeed.