Connecting to the GitHub repository