Just a dummy repository for a quick introduction to GitHub.