GitHub warned that users may be banned if they repost the YouTube-dl source code