Making connection to server...
To put a terminal like this on your website, go to
github-terminal