Comment by pretty_lorelei

GitHub is owned by Microsoft though, so there's no guarantee they won't have problems with someone else doing this.