So in short, literally anything else other than GitHub is better than GitHub in terms of freedom of license, ownership, and author’s wishes. @jtgans