Comment by tutfbhuf

Never underestimate the community. The Github project is gone, the people are not. I'm pretty sure they will find an good alternative to github (with Issues, Pull Requests and so on) to continue the collaborative work on youtube-dl.