Seamless integration between the git command-line and GitHub