adding some lines as a GitHub user via the web interface