So it looks like the youtube-dl repo owner has made no effort to reject the DMCA claim which github needs them to do before they can restore the project.