Note Github repo in docs