Of course, we are not obsoleting github, but just the redir...