You guys realize that GitHub is a name of a company and a name of their product, not a general term for git repository browsers, right? You may want to fix your

You guys realize that GitHub is a name of a company and a name of their product, not a general term for git repository browsers, right? You may want to fix your link in menu at the top.