Checking the most likely spot in that repo (eg without using the search feature), doesn't show any likely looking candidates either:

https://github.com/github/dmca/tree/master/2023/02

That being said, the most recent dated one was 23rd Feb (last Thursday), so it does seem possible there might be a lag of a few days for stuff to show up. Not real sure though.

The DMCA repository was last updated 2 days ago, and this link likely appeared on HackerNews only a few hours after the IPTV repository was unpublished. Therefore, it appears that they simply have not yet published the DMCA notice.