intro text that mentions the git repo