play repository to get git and GitHub functionality