Redirecting from
/docs/github.html
to
/docs/git-repositories