(m) Update documentation to use GitHub repository (master branch)